Search

• < Previous
• 1
• Next >

Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata

We present a framework for obtaining effective characterizations of simple fragments of future temporal logic (LTL) with the natural numbers as time domain. The framework is based on a form of strongly unambiguous automata, also known as prophetic automata or complete unambiguous B\"uchi automata&nbsp;[&hellip;]