39 citations · 44 across the 4 of their papers we have counts for
1 paper · 1 filter
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…