Keyword:temporal logic

Papers
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