Abstract is missing.
- Towards Verifiable and Safe Model-Free Reinforcement LearningMohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate. 1 [doi]
- Model Checking BDI Logics over Finite-state WorldsSalvatore La Torre, Gennaro Parlato. 11-16 [doi]
- In Silico Clinical Trials through AI and Statistical Model CheckingVadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci. 17-22 [doi]
- Tableau-based Decision Procedure for the Logic SCIJoanna Golinska-Pilarek, Michal Zawidzki. 23-28 [doi]
- Automated Verification of Noisy Nonlinear Cyber-Physical Systems with AriadneDavide Bresolin, Luca Geretti, Tiziano Villa. 29-34 [doi]
- Towards the Automated Verification of Publish/Subscribe NetworksGiorgio Delzanno. 35-40 [doi]
- Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and OntologiesLaura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. 41-46 [doi]
- Pushing Runtime Verification to the Limit: May Process Semantics Be With UsDario Della Monica, Adrian Francalanza. 47-52 [doi]
- Preference Theories on Weak OrdersMarco Faella, Luigi Sauro. 53-58 [doi]
- Robustness Verification of Decision Tree EnsemblesFrancesco Ranzato, Marco Zanella. 59-64 [doi]
- Towards Interval Temporal Logic Rule-Based ClassificationEstrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari 0002. 65-70 [doi]
- Pairing Monitoring with Machine Learning for Smart System Verification and Predictive MaintenanceAndrea Brunello, Dario Della Monica, Angelo Montanari. 71-76 [doi]
- Strong Controllability of Temporal Networks with DecisionsMatteo Zavatteri, Romeo Rizzi, Tiziano Villa. 77-82 [doi]
- Complexity of Weak, Strong and Dynamic Controllability of CNCUsMatteo Zavatteri, Romeo Rizzi, Tiziano Villa. 83-88 [doi]
- A Prototype for the Robust Execution of Flexible PlansAnnarita Lanzilli, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico. 89-93 [doi]
- Control Software Synthesis for Cyber-Physical Systems with QKSVadim Alimguzhin, Federico Mari, Igor Melatti. 95-100 [doi]
- Optimization and Multistage Systems. The Thawing CaseEleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti. 101-106 [doi]