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

