Predicate Transformer Semantics for Hybrid Systems
Work
Year: 2021
Type: article
Abstract: We present a semantic framework for the deductive verification of hybrid systems with Isabelle/HOL. It supports reasoning about the temporal evolutions of hybrid programs in the style of differential... more
Source: Journal of Automated Reasoning
Institution University of Sheffield
Cites: 69
Cited by: 9
Related to: 10
FWCI: 0.998
Citation percentile (by year/subfield): 71.3
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $2,890
Grant ID 440404