Keyword:temporal logic

Publications
Grounding Subgoals of Temporal Logic Tasks in Online Reinforcement Learning Duo Xu and Faramarz Fekri EasyChair Preprint 12418
Fuzzy Temporal Data Mining Poli Venkatasubba Reddy EasyChair Preprint 12011
Fuzzy Temporal Non-Monotonic Reasoning Poli Venkatasubba Reddy EasyChair Preprint 11775
Fuzzy Temporal Predicate Logic for Incomplete Information Venkata Subba Reddy Poli EasyChair Preprint 3558
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs Keith Clark, Brijesh Dongol and Peter Robinson EasyChair Preprint 1491
On Symbolic Derivatives and Transition Regexes Margus Veanes In:LPAR 2024 Complementary Volume
Counterfactuals Modulo Temporal Logics Bernd Finkbeiner and Julian Siber In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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 Donze, 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)
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
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
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
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
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