Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Logical Analysis of Hybrid Systems
Home
Publications
Logical Analysis of Hybrid Systems
Logical Analysis of Hybrid Systems
André Platzer
André Platzer
Top Cited Papers
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2010
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-3-642-14509-4
Abstract
No abstract available
Keywords
AIR TRAFFIC CONTROL
AXIOMATISATION
DIFFERENTIAL EQUATIONS
DYNAMIC LOGIC
EMBEDDED SYSTEMS
FORMAL METHODS
HYBRID SYSTEMS
LOGIC
SAFETY-CRITICAL SYSTEMS
VERIFICATION
AUTOMATED THEOREM PROVING
AUTOMATION
ROBOT
ROBOTICS
Cited by 188 articles