[HTML][HTML] Survey on mining signal temporal logic specifications
Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …
time of their design and during their operation. Despite their importance, formal …
Checkmate: Fault Timing Localization for Multi-Robot Scenarios
I Nishitani, T Yamaguchi… - 2023 IEEE 19th …, 2023 - ieeexplore.ieee.org
The development of control software for large-scale, complex systems remains a challenge.
Control software development typically involves simulation or experimental testing to verify …
Control software development typically involves simulation or experimental testing to verify …
Parametric timed formalisms for specification and monitoring
A Mambakam - 2023 - theses.hal.science
Cyber-physical systems (CPS) consist of computer systems which control physical
processes. Examples of this include medical devices, autonomous cars, and robots. Due to …
processes. Examples of this include medical devices, autonomous cars, and robots. Due to …
Introduction to the special issue of the 19th International Conference on Runtime Verification
B Finkbeiner, L Mariani - International Journal on Software Tools for …, 2021 - Springer
This special issue includes the extended versions of six selected papers from the refereed
proceedings of the 19th International Conference on Runtime Verification (RV 2019), which …
proceedings of the 19th International Conference on Runtime Verification (RV 2019), which …
[PDF][PDF] Introduction to the special issue of the 19th International Conference on Runtime Verification
B Leonardo - 2021 - openaccessrepository.it
This special issue includes the extended versions of six selected papers from the refereed
proceedings of the 19th International Conference on Runtime Verification (RV 2019), which …
proceedings of the 19th International Conference on Runtime Verification (RV 2019), which …