RTAMT: Online Robustness Monitors from STL
Dejan Ničković, Tomoya Yamaguchi
Topics & Concepts
Robustness (evolution)Computer scienceTemporal logicAbstract interpretationAlgorithmTheoretical computer scienceReal-time computingProgramming languageGeneChemistryBiochemistryFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge