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
- Khakpour NParker D(2024)Partially-Observable Security Games for Attack-Defence Analysis in Software SystemsSoftware Engineering and Formal Methods10.1007/978-3-031-77382-2_9(144-161)Online publication date: 26-Nov-2024
- Delage ABuffet ODibangoye JSaffidine A(2023)HSVI Can Solve Zero-Sum Partially Observable Stochastic GamesDynamic Games and Applications10.1007/s13235-023-00519-614:4(751-805)Online publication date: 2-Sep-2023
- Show More Cited By