Verification Components for Hybrid Systems

MaRDI QIDQ7361026FDO

Authors Jonathan Julian Huerta y Munive

Publication date 10 September 2019

Cites work

• Building program construction and verification tools from algebraic principles
• Internal axioms for domain semirings
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.

Cited in

(1)

• Matrices for ODEs

This page was built for software: Verification Components for Hybrid Systems