Cited By
View all- Hyland DGutierrez JShankaranarayanan KWooldridge MDastani MSichman JAlechina NDignum V(2024)Rational Verification with Quantitative Probabilistic GoalsProceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems10.5555/3635637.3662941(871-879)Online publication date: 6-May-2024
- Meggendorfer TWeininger M(2024)Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic GamesComputer Aided Verification10.1007/978-3-031-65633-0_16(359-372)Online publication date: 26-Jul-2024
- De Giacomo GFavorito MSilo L(2024)Composition of Stochastic Services for LTL Goal SpecificationsFoundations of Information and Knowledge Systems10.1007/978-3-031-56940-1_17(298-316)Online publication date: 8-Apr-2024
- Show More Cited By