HyComp
From MaRDI portal
Software:31985
swMATH20163MaRDI QIDQ31985FDOQ31985
Author name not available (Why is that?)
Cited In (6)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- Diagnosability of fair transition systems
- Linear-time temporal logic with event freezing functions
- Generalized property-directed reachability for hybrid systems
This page was built for software: HyComp
