Publication | Closed Access

Experiments with deterministic<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>ω</mml:mi></mml:math>-automata for formulas of linear temporal logic