Differential_Game_Logic

swMATH32245MaRDI QIDQ43956FDOQ43956

Author name not available (Why is that?)

Cited In (3)

• Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL
• Differential Game Logic
• Uniform substitution for differential game logic

This page was built for software: Differential_Game_Logic