Sign in

Abstract Monitors for Quantitative Specifications.

Thomas A. HenzingerNicolas MazzocchiN. 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