Login / Signup
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Xiaoxiang Zhai
Bixin Li
Min Zhu
Jiakai Li
Qiaoqiao Chen
Shunhui Ji
Published in:
SEKE (2012)
Keyphrases
</>
dynamic logic
cyber physical systems
cyber physical
reasoning about actions
imperative programs
modal logic
physical world
propositional dynamic logic
model checking
temporal constraints
critical infrastructure