HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Min ZhuBixin LiJiakai LiQiaoqiao ChenXiaoxiang ZhaiShunhui JiPublished in: SEKE (2012)
Keyphrases
- dynamic logic
- model checking
- modal logic
- reasoning about actions
- imperative programs
- propositional dynamic logic
- multiple input
- temporal logic
- agent programming
- classical first order logic
- signature verification
- verification method
- machine learning
- data sets
- fixed point
- first order logic
- graphical models
- artificial intelligence