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

Published in: CoRR (2010)

Keyphrases

linear time temporal logic
error rate
error reduction
temporal logic
model checking
error bounds
story telling
database
prediction error
estimation error
relative error
mathematical formulas
bounded model checking
digital storytelling