Abstract is missing.
- Formal Design of Cyber-Physical Systems with Learning-Enabled ComponentsThao Dang 0001. 1-5 [doi]
- On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite AutomataMarco Sälzer, Eric Alsmann, Martin Lange. 7-11 [doi]
- Towards Machine Learning Enhanced LTL MonitoringLuca Geatti, Angelo Montanari, Nicola Saccomanno. 13-19 [doi]
- Towards Large Language Model Architectures for Knowledge Acquisition and Strategy SynthesisPaolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri. 21-29 [doi]
- ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle FunctionalityYannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach. 31-36 [doi]
- Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining informationFrancesco Chiariello. 37-42 [doi]
- A First-Order Interval Temporal Logic for Adjacent Variables Temporal DataGuido Sciavicco. 43-47 [doi]
- Heuristic Minimization Modulo Theory of Modal Decision Trees Class-FormulasGiovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan. 49-53 [doi]
- Revisiting Formal Verification in VeriSolid: An Analysis and EnhancementsAtefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos. 55-60 [doi]
- Towards Compliance of Smart Contracts with the European Union Data ActLuca Olivieri, Luca Pasetto. 61-66 [doi]
- Forward LTLf Synthesis: DPLL At WorkMarco Favorito. 67-72 [doi]
- Composition of Nondeterministic Services for LTLf Task SpecificationGiuseppe De Giacomo, Marco Favorito, Luciana Silo. 73-77 [doi]
- Tree Kernels to Support Formal Methods-based Testing of Evolving SpecificationsFrancesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace. 79-84 [doi]
- A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal OntologiesAlessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo. 85-92 [doi]
- Clock Specifications for Temporal Tasks in Planning and LearningGiuseppe De Giacomo, Marco Favorito, Fabio Patrizi. 93-98 [doi]