Similar Items: Automata Linear Dynamic Logic on Finite Traces
- Logic and Branching Automata
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Alternating register automata on finite words and trees
- Coalgebraic trace semantics via forgetful logics
- Asynchronous Composition of LTL Properties over Infinite and Finite Traces
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases