From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle.

Yih-Kuen Tsay Moshe Y. Vardi

Published in: Model Checking, Synthesis, and Learning (2021)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
mazurkiewicz traces
satisfiability problem
predicate logic
artificial intelligence
video sequences
cellular automata
finite state machines
finite state
transition systems