共 50 条
- [31] Quantified Differential Dynamic Logic for Distributed Hybrid Systems COMPUTER SCIENCE LOGIC, 2010, 6247 : 469 - 483
- [33] A Complete Uniform Substitution Calculus for Differential Dynamic Logic Journal of Automated Reasoning, 2017, 59 : 219 - 265
- [34] Differential dynamic logic for verifying parametric hybrid systems AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 216 - 232
- [36] Dynamic half rail differential logic for low power ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, 1997, : 1936 - 1939
- [37] Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 446 - 460
- [39] A Ternary Arithmetic and Logic WORLD CONGRESS ON ENGINEERING, WCE 2010, VOL I, 2010, : 193 - 196