AMT
From MaRDI portal
Software:53745
swMATH38045MaRDI QIDQ53745FDOQ53745
Author name not available (Why is that?)
Cited In (12)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- On temporal logic constraint solving for analyzing numerical data time series
- Runtime enforcement of timed properties revisited
- A brief account of runtime verification
- Localizing Faults in Simulink/Stateflow Models with STL
- On simulation-based probabilistic model checking of mixed-analog circuits
- Analog property checkers: a DDR2 case study
- STL*: extending signal temporal logic with signal-value freezing operator
- Robust online monitoring of signal temporal logic
- Algorithms for monitoring real-time properties
- Formal System Verification
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: AMT
