Abstract is missing.
- Symbolic Learning with Interval Temporal Logic: the Case of RegressionEstrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan. 5-9 [doi]
- A Note on Ultimately-Periodic Finite Interval Temporal Logic Model CheckingDario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan. 11-15 [doi]
- Theorem Proving for Non-normal Modal LogicsTiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato. 17-22 [doi]
- Finite vs. Infinite Traces in Temporal LogicsAlessandro Artale, Andrea Mazzullo, Ana Ozaki. 23-27 [doi]
- A kernel function for Signal Temporal Logic formulaeLuca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi. 29-34 [doi]
- Reasoning in Multi-Agent Conformant Planning over Transition SystemsPeipei Wu, Yanjun Li. 35-40 [doi]
- Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial IntelligenceQian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi. 41-46 [doi]
- A Fixed-point Model-checker for BDI Logics over Finite-state WorldsSalvatore La Torre, Gennaro Parlato. 47-52 [doi]
- A Language for Timeline-based PlanningGiulio Bernardi 0001, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer. 53-58 [doi]
- AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical TrialsStefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, F. Mari, Brigitte Leeners. 59-64 [doi]
- On the Formalization of Decentralized Contact Tracing ProtocolsParosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier. 65-70 [doi]
- Electricity Network Constraint Management using Individualised Demand Aware Price PoliciesIgor Melatti, Vadim Alimguzhin, F. Mari, Milan Prodanovic, B. Hayes. 71-76 [doi]
- Adversarial Learning of Robust and Safe Controllers for Cyber-Physical SystemsLuca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina. 77-81 [doi]
- Learning How to Monitor: Pairing Monitoring and Learning for Online System VerificationAndrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo. 83-88 [doi]
- Formal Runtime Monitoring Approaches for Autonomous VehiclesSaumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop. 89-94 [doi]
- Bayesian Neural Predictive MonitoringLuca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller. 95-100 [doi]