Safety and Liveness of Quantitative Automata.

Udi Boker Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç

Published in: CoRR (2023)

Keyphrases

cellular automata
finite automata
qualitative and quantitative
finite state
quantitative and qualitative
regular expressions
data sets
nuclear power plant
search algorithm
finite state machines
safety analysis
tree automata
pattern matching
data structure
e learning
artificial intelligence
genetic algorithm