Revisiting MITL to Fix Decision Procedures

DOI10.1007/978-3-319-73721-8_22zbMath1446.68099arXiv1910.04216OpenAlexW2780338284MaRDI QIDQ3296347

Mahesh Viswanathan, Nima Roohi

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.04216

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (1)

The compound interest in relaxing punctuality

This page was built for publication: Revisiting MITL to Fix Decision Procedures