Introducing interval differential dynamic logic
From MaRDI portal
Publication:2145261
Recommendations
Cites work
- Applying differential dynamic logic to reconfigurable biological networks
- Interval arithmetic: from principles to implementation
- Logical analysis of hybrid systems. Proving theorems for complex dynamics.
- On interval dynamic logic
- On the interval differential equation: novel solution methodology
- dReal: an SMT solver for nonlinear theories over the reals
This page was built for publication: Introducing interval differential dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145261)