Safety and Liveness of Quantitative Automata.

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

Published in: CONCUR (2023)

Keyphrases

cellular automata
finite automata
qualitative and quantitative
probabilistic automata
quantitative and qualitative
regular expressions
civil aviation
data mining
data model
real time
finite state machines
multi agent
tree automata
turing machine
safety analysis
machine learning
lattice gas