18 citations · 68 across the 14 of their papers we have counts for
16 papers
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…
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…
Unifying Asynchronous Logics for Hyperproperties
Alberto Bombardelli, Laura Bozzelli, César Sánchez +1
We introduce and investigate a powerful hyper logical framework in the linear-time setting, we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short). GHyp…
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…
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Srajan Goyal, Alberto Griggio, Jacob Kimblad +1
With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these…
A first-order logic characterization of safety and co-safety languages
Alessandro Cimatti, Luca Geatti, Nicola Gigante +2
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespre…