Translating LTL to Automata

Team

Rabinizer is a tool for creating deterministic automata for LTL.

Owl is designed to help researches in formal methods to work with ω-words, ω-automata and LTL.

2022	Index appearance record with preorders Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
	From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert