Introducing interval differential dynamic logic

DOI10.1007/978-3-030-89247-0_5zbMath1496.03128OpenAlexW3206211777MaRDI QIDQ2145261

Daniel R. Figueiredo

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_5

zbMATH Keywords

interval arithmeticsdifferential dynamic logicinterval differential dynamic logic

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• dReal
• dReach

Cites Work

• On the interval differential equation: novel solution methodology
• On interval dynamic logic
• Applying differential dynamic logic to reconfigurable biological networks
• Interval arithmetic
• dReal: An SMT Solver for Nonlinear Theories over the Reals
• Logical Analysis of Hybrid Systems

This page was built for publication: Introducing interval differential dynamic logic