Dynamic logic; Sequent calculus; Verification of parametric hybrid systems; Quantifier elimination;
机译:分布式混合系统量化微分动态逻辑的完全公理化
机译:混合系统的微分动态逻辑自动定理证明
机译:微分动态逻辑-混合系统的自动定理证明
机译:验证参数混合系统的差分动态逻辑
机译:用于建模和验证混合动力系统的工具的比较
机译:压电与电磁机理相结合的混合振动能量采集器的参数分析与实验验证
机译:验证参数混合系统的差分动态逻辑
机译:分布式混合系统的量化差分动态逻辑