Abstract Monitors for Quantitative Specifications.

Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç

Published in: RV (2022)

Keyphrases

transition systems
reactive systems
qualitative and quantitative
real world
high level
database
website
artificial neural networks
evolutionary algorithm
quantitative and qualitative
state machines