scientific article; zbMATH DE number 1982198
From MaRDI portal
Publication:4426372
Recommendations
Cited in
(21)- Safety property-driven stubborn sets
- On the limits of refinement-testing for model-checking CSP
- Time-constrained temporal logic control of multi-affine systems
- Time window temporal logic
- An extended framework for passive asynchronous testing
- On the Construction of Fine Automata for Safety Properties
- Falsification of LTL Safety Properties in Hybrid Systems
- Using simplex method in verifying software safety
- Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
- Model Checking Safety-Critical Systems Using Safecharts
- scientific article; zbMATH DE number 2102704 (Why is no real title available?)
- scientific article; zbMATH DE number 2102708 (Why is no real title available?)
- Finite Models vs Tree Automata in Safety Verification
- Hardware and Software, Verification and Testing
- Model checking of safety properties
- Quantitative safety and liveness
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications
- A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties
- Verifying relative safety, accuracy, and termination for program approximations
- Asynchronous composition of LTL properties over infinite and finite traces
- Experiments with deterministic -automata for formulas of linear temporal logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426372)
