Similar Items: Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- Satisfiability Games for Branching-Time Logics
- Unifying the Linear Time-Branching Time Spectrum of Process Semantics
- Petri Net Reachability Graphs: Decidability Status of First Order Properties
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Logic and Branching Automata