https://hackerpaper.kaipfister.de/p/2108.00252/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=31232103urn:hackerpapers:mention:2108.00252:31232103Mon, 02 May 2022 06:53:00 GMT<p>At the public funded project 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 and infos about implementation https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV... and https://www.vvm-projekt.de/fileadmin/user_upload/Mid-Term/VV... (English). The project will be finished mid 2023 Cheers Hans</p><p><a href="https://hackerpaper.kaipfister.de/p/2108.00252/">Paper and discussion history</a>. A mention is not an endorsement.</p>physics.soc-ph