39 citations · 53 across the 19 of their papers we have counts for
1 paper · 2 filters
Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák +1
We identify a subtle error in LTL formulas reduction method used as one optimization step in an LTL to Büchi automata translation. The error led to some incorrect answers of the es…