Cited By
View all- Belardinelli FJamroga WMittelmann MMurano ADastani MSichman JAlechina NDignum V(2024)Verification of Stochastic Multi-Agent Systems with Forgetful StrategiesProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662863(160-169)Online publication date: 6-May-2024
- Paardekooper JBorth M(2024)Toward a Methodology for the Verification and Validation of AI-Based SystemsSAE International Journal of Connected and Automated Vehicles10.4271/12-08-01-00068:1Online publication date: 27-Jul-2024
- Bergami G(2024)DECLAREd: A Polytime LTLf FragmentLogics10.3390/logics20200042:2(79-111)Online publication date: 31-May-2024
- Show More Cited By