Differential Dynamic Logic for Hybrid Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

André Platzer. Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning, 41(2):143-189, 2008. [doi]

The following publications are possibly variants of this publication:

Differential Logic for Reasoning About Hybrid SystemsAndré Platzer. hybrid 2007: 746-749 [doi]

Differential Dynamic Logic for Verifying Parametric Hybrid SystemsAndré Platzer. tableaux 2007: 216-232 [doi]

Quantified Differential Dynamic Logic for Distributed Hybrid SystemsAndré Platzer. csl 2010: 469-483 [doi]

Differential Dynamic Logic: Automated Theorem Proving for Hybrid SystemsAndré Platzer. gi 2009: 191-200

runs on WebDSL