3 papers
cs.LO2026
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
Alberto Bombardelli, Stefano Tonetta
The verification of asynchronous software components poses significant challenges due to the way components interleave and exchange input/output data concurrently. Compositional st…
cs.FL2025
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
Alessandro Cimatti, Thomas M. Grosen, Kim G. Larsen +2
Runtime verification of temporal properties is essential for ensuring the correctness and reliability of real-time systems, particularly in cyber-physical systems. A significant ch…
cs.AI2025
Platform-Aware Mission Planning
Stefan Panjkovic, Alessandro Cimatti, Andrea Micheli +1
Planning for autonomous systems typically requires reasoning with models at different levels of abstraction, and the harmonization of two competing sets of objectives: high-level m…