RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
Tomoya Yamaguchi, Bardh Hoxha, Dejan Ničković
Topics & Concepts
Computer sciencePython (programming language)Robustness (evolution)RoboticsApplication programming interfaceRobotAsynchronous communicationTemporal logicEmbedded systemGraphical user interfaceTheory of computationArtificial intelligenceInterface (matter)Real-time computingProgramming languageOperating systemGeneComputer networkMaximum bubble pressure methodBiochemistryBubbleChemistryFormal Methods in VerificationSoftware Testing and Debugging TechniquesReal-Time Systems Scheduling