Differential_Game_Logic

MaRDI QIDQ43956swMATHFDO

Official website https://www.isa-afp.org/entries/Differential_Game_Logic.html

Cited in

(9)

• Quantales
• Transformer semantics
• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Ordinary Differential Equations
• Algebraic_VCs
• Kleene Algebra
• KAD
• Uniform substitution for differential game logic
• Differential game logic

This page was built for software: Differential_Game_Logic