Keyword:temporal logic

Papers
ARCH-COMP 2021 Category Report: Falsification with Validation of Results Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP 2020 Category Report: Falsification Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Modeling Fuzzy Temporal Predicate Logic and Fuzzy Temporal Agent Venkata Subba Reddy Poli EasyChair Preprint no. 3558
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs Keith Clark, Brijesh Dongol and Peter Robinson EasyChair Preprint no. 1491
R2U2: Tool Overview Kristin Yvonne Rozier and Johann Schumann In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems Kristin Yvonne Rozier In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Industrial Examples of Formal Specifications for Test Case Generation Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmarks for Temporal Logic Requirements for Automotive Systems Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal and Stephan Merz In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
PDT Logic for Stream Reasoning in Multi-agent Systems Karsten Martiny and Ralf Moeller In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Robotics, Temporal Logic and Stream Reasoning Patrick Doherty, Fredrik Heintz and Jonas Kvarnström In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning