Results 111 to 120 of about 1,711 (143)
Quantitative reactive modeling and verification. [PDF]
Comput Sci (Berl), 2013 Henzinger TA.
europepmc +1 more source
Converting a büchi alternating automaton to a usual nondeterministic one
, 1996 Amar Isli
openalex +1 more source
Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements
, 2016 Bolong Zeng, Li Tan
openalex +1 more source
THE EFFECT OF THE NUMBER OF SUCCESSFUL PATHS IN A BÜCHI TREE AUTOMATON
, 1993 Danièle Beauquier +2 more
openalex +1 more source