1. Elvio Gilberto Amparore , Gianfranco Balbo , Marco Beccuti , Susanna Donatelli , and Giuliana Franceschinis . 2016. 30 years of GreatSPN . In Principles of Performance and Reliability Modeling and Evaluation . Springer , 227–254. DOI:https://doi.org/10.1007/978-3-319-30599-8_9 Elvio Gilberto Amparore, Gianfranco Balbo, Marco Beccuti, Susanna Donatelli, and Giuliana Franceschinis. 2016. 30 years of GreatSPN. In Principles of Performance and Reliability Modeling and Evaluation. Springer, 227–254. DOI:https://doi.org/10.1007/978-3-319-30599-8_9
2. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
3. Continuous-Time Markov Decisions Based on Partial Exploration
4. Carlos Azevedo , Bruno Lacerda , Nick Hawes , and Pedro U. Lima . 2020. Long-run multi-robot planning with uncertain task durations . In Proceedings of AAMAS. International Foundation for Autonomous Agents and Multiagent Systems, 1750–1752 . Carlos Azevedo, Bruno Lacerda, Nick Hawes, and Pedro U. Lima. 2020. Long-run multi-robot planning with uncertain task durations. In Proceedings of AAMAS. International Foundation for Autonomous Agents and Multiagent Systems, 1750–1752.
5. Christel Baier , Luca de Alfaro , Vojtech Forejt , and Marta Kwiatkowska . 2018. Model checking probabilistic systems . In Handbook of Model Checking . Springer , 963–999. DOI:https://doi.org/10.1007/978-3-319-10575-8_28 Christel Baier, Luca de Alfaro, Vojtech Forejt, and Marta Kwiatkowska. 2018. Model checking probabilistic systems. In Handbook of Model Checking.Springer, 963–999. DOI:https://doi.org/10.1007/978-3-319-10575-8_28