Quantitative Monitor Automata.

Krishnendu Chatterjee Thomas A. Henzinger Jan Otop

Published in: SAS (2016)

Keyphrases

monitoring system
cellular automata
real time
qualitative and quantitative
finite automata
databases
quantitative measures
computer vision
quantitative and qualitative
decision making
three dimensional
support vector
special case
lattice gas