Abstract is missing.
- Planning with Global State Constraints for Urban Traffic ControlFranc Ivankovic, Marco Roveri. 1-5 [doi]
- BLACK: A Fast, Flexible and Reliable LTL Satisfiability CheckerLuca Geatti, Nicola Gigante, Angelo Montanari. 7-12 [doi]
- Automated Planning Through Program VerificationSalvatore La Torre, Gennaro Parlato. 13-17 [doi]
- Rule-based Shield Synthesis for Partially Observable Monte Carlo PlanningGiulio Mazzi, Alberto Castellini, Alessandro Farinelli. 19-23 [doi]
- Dynamic Attack TreesAliyu Tanko Ali, Damas P. Gruska. 25-29 [doi]
- Mining Temporal Networks: Results and Open ProblemsGuido Sciavicco, Tiziano Villa, Matteo Zavatteri. 31-36 [doi]
- Multi-Frame Modal Symbolic LearningGiovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan. 37-41 [doi]
- Automated Reasoning for Reinforcement Learning Agents in Structured EnvironmentsAlessandro Gianola, Marco Montali, Matteo Papini. 43-48 [doi]
- Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithmRachid Adrdor, Lahcen Koutti. 49-53 [doi]
- Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical SystemsAngela Pappagallo. 55-59 [doi]
- On the Parameterized Verification of Abstract Models of Contact Tracing ProtocolsSylvain Conchon, Giorgio Delzanno, Arnaud Sangnier. 61-66 [doi]
- Towards Learning From Graph Representable Formal ModelsMarco Sälzer, Georg Siebert. 67-71 [doi]
- A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural NetworksAlessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo. 73-75 [doi]
- Ranking Model Checking Backends for Automated Selection via Classification and Regression LearningJannik Dunkelau, Leo Baldus. 77-82 [doi]
- Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract)Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. 83-89 [doi]
- Reverse engineering with P-stable AbstractionsAnna Becchi, Alessandro Cimatti, Enea Zaffanella. 91-95 [doi]
- AI-guided optimal deployments of drone-intercepting systems in large critical areasMarco Esposito. 97-101 [doi]
- QUGA - Quality Guarantees for AutoencodersBenedikt Böing, Rajarshi Roy 0002, Daniel Neider, Emmanuel Müller. 103-107 [doi]
- Simulation-Based Synthesis of Personalised Therapies for Colorectal CancerMarco Esposito, Leonardo Picchiami. 109-113 [doi]