18 citations · 68 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
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.LO2023★ 13 cited
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…