Skip to main content
Hamburger Menu
Home
Tools
Tool Listing
Tool Search
Publications
About Us
Communities
Contact Us
Assured Autonomy Tools Portal
Login
Not a member?
Forgot your password?
Submit
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Publications
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author
Andre Platzer
Keywords
differential dynamic logic
hybrid games
hybrid systems
theorem proving
Year of Publication
2018
Publisher
Springer
City
Cham
ISBN Number
978-3-319-63587-3
URL
http://www.springer.com/978-3-319-63587-3
DOI
10.1007/978-3-319-63588-0
Google Scholar
|
BibTeX
|
DOI