Certifying Inexpressibility

von Kupferman, Orna
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

On the Translation of Automata to Linear Temporal Logic

von Boker, Udi
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Certifying DFA Bounds for Recognition and Separation

von Kupferman, Orna
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Practical Applications of the Alternating Cycle Decomposition

von Casares, Antonio
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)