Logical Foundations of Cyber-Physical Systems
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783319635873, 9783319635880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dynamical Systems & Dynamic Axioms

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_5 ◽

2018 ◽

pp. 137-172

Author(s):

André Platzer

Keyword(s):

Dynamical Systems

Download Full-text

Safety & Contracts

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_4 ◽

2018 ◽

pp. 95-136

Author(s):

André Platzer

Download Full-text

Winning & Proving Hybrid Games

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_16 ◽

2018 ◽

pp. 479-508

Author(s):

André Platzer

Keyword(s):

Hybrid Games

Download Full-text

Winning Strategies & Regions

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_15 ◽

2018 ◽

pp. 449-478

Author(s):

André Platzer

Keyword(s):

Winning Strategies

Download Full-text

Hybrid Systems & Games

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_14 ◽

2018 ◽

pp. 421-447

Author(s):

André Platzer

Keyword(s):

Hybrid Systems

Download Full-text

Ghosts & Differential Ghosts

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_12 ◽

2018 ◽

pp. 363-396

Author(s):

André Platzer

Download Full-text

Reactions & Delays

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_9 ◽

2018 ◽

pp. 267-284

Author(s):

André Platzer

Download Full-text

Truth & Proof

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_6 ◽

2018 ◽

pp. 173-210

Author(s):

André Platzer

Download Full-text

Choice & Control

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_3 ◽

2018 ◽

pp. 63-94

Author(s):

André Platzer

Download Full-text

Virtual Substitution & Real Equations

Logical Foundations of Cyber-Physical Systems ◽

10.1007/978-3-319-63588-0_20 ◽

2018 ◽

pp. 577-606

Author(s):

André Platzer

Download Full-text