At the public funded project http://vvm-projekt.de http://vvm-projekt.de we are developing methods for verification and validation of autonomous driving. My tea

At the public funded project http://vvm-projekt.de http://vvm-projekt.de we are developing methods for verification and validation of autonomous driving. My team developed an analysis method for information flow in urban intersections. The software is implemented in PROLOG (Logtalk). See paper about here (German, will follow in English soon) https://arxiv.org/abs/2108.00252 https://arxiv.org/abs/2108.00252 and infos about implementation https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VVM_HZE_S1_P16_20220315_PSMFormalization.pdf https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV... and https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VVM_HZE_S1_P17_20220315_PSMSWArchitectur.pdf https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV... (English). The project will be finished mid 2023 Cheers Hans