Satisfiability checking for mission-time LTL

DOI10.1007/978-3-030-25543-5_1OpenAlexW2956582956MaRDI QIDQ6154870

Kristin Yvonne Rozier, Jianwen Li, Moshe Y. Vardi

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25543-5_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ Embedding online runtime verification for fault disambiguation on Robonaut2

This page was built for publication: Satisfiability checking for mission-time LTL