Differential_Game_Logic

MaRDI QIDQ43956swMATHFDO

Authors André Platzer

Publication date 3 June 2019

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

Cites work

• Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings
• Differential game logic
• Uniform substitution at one Fell swoop
• Uniform substitution for differential game logic

Cited in

(9)

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

This page was built for software: Differential_Game_Logic