Metric Interval Temporal Logic based Reinforcement Learning with Runtime Monitoring and Self-Correction

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147506 ◽

2020 ◽

Author(s):

Zhenyu Lin ◽

John S. Baras

Keyword(s):

Reinforcement Learning ◽

Temporal Logic ◽

Runtime Monitoring ◽

Interval Temporal Logic

Download Full-text

Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic

2019 IEEE International Systems Conference (SysCon) ◽

10.1109/syscon.2019.8836933 ◽

2019 ◽

Author(s):

Zhenyu Lin ◽

John S. Baras

Keyword(s):

Temporal Logic ◽

Robotic Manipulator ◽

Runtime Monitoring ◽

Interval Temporal Logic

Download Full-text

Complexity analysis of a unifying algorithm for model checking interval temporal logic

Information and Computation ◽

10.1016/j.ic.2020.104640 ◽

2020 ◽

pp. 104640

Author(s):

Laura Bozzelli ◽

Angelo Montanari ◽

Adriano Peron

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Complexity Analysis ◽

Interval Temporal Logic

Download Full-text

Reactive Synthesis from Interval Temporal Logic Specifications

Theoretical Computer Science ◽

10.1016/j.tcs.2021.11.023 ◽

2021 ◽

Author(s):

Angelo Montanari ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Reactive Synthesis ◽

Interval Temporal Logic

Download Full-text

Synthesis of Controllers for Co-Safe Linear Temporal Logic Specifications using Reinforcement Learning

10.23919/ccc52363.2021.9549746 ◽

2021 ◽

Author(s):

Xiaohua Ren ◽

Xiang Yin ◽

Shaoyuan Li

Keyword(s):

Reinforcement Learning ◽

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

Reversibility of Executable Interval Temporal Logic Specifications

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_13 ◽

2021 ◽

pp. 214-223

Author(s):

Antonio Cau ◽

Stefan Kuhn ◽

James Hoey

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Prompt Interval Temporal Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48758-8_14 ◽

2016 ◽

pp. 207-222 ◽

Author(s):

Dario Della Monica ◽

Angelo Montanari ◽

Aniello Murano ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Telling Non-linear Stories with Interval Temporal Logic

Interactive Storytelling - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27036-4_39 ◽

2015 ◽

pp. 370-373

Author(s):

Matt Thompson ◽

Steve Battle ◽

Julian Padget

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic ◽

Download Full-text

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_8 ◽

2012 ◽

pp. 77-91 ◽

Author(s):

Paritosh K. Pandya ◽

Simoni S. Shah

Keyword(s):

Lower Bound ◽

Temporal Logic ◽

Bound Constraints ◽

Interval Temporal Logic

Download Full-text

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

Mathematical Foundations of Computer Science 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44522-8_38 ◽

2014 ◽

pp. 451-463 ◽

Author(s):

Angelo Montanari ◽

Gabriele Puppis ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

An Automata-Theoretic Completeness Proof for Interval Temporal Logic

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45022-x_19 ◽

2000 ◽

pp. 223-234 ◽

Author(s):

Ben C. Moszkowski

Keyword(s):

Temporal Logic ◽

Completeness Proof ◽

Interval Temporal Logic

Download Full-text