Tomás Babiak

According to our database, Tomás Babiak authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The Hanoi Omega-Automata Format.

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

Compositional Approach to Suspension and Other Improvements to LTL Translation.

Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.

Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

LTL to Büchi Automata Translation: Fast and More Deterministic.

Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2010

A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness

Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek

CoRR, 2010

2009

Almost Linear Büchi Automata

Tomás Babiak, Vojtech Rehák, Jan Strejcek

Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009