479.575 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Ziakopoulos, Apostolos | Athens |
|
| Vigliani, Alessandro | Turin |
|
| Catani, Jacopo | Rome |
|
| Statheros, Thomas | Stevenage |
|
| Utriainen, Roni | Tampere |
|
| Guglieri, Giorgio | Turin |
|
| Martínez Sánchez, Joaquín |
| |
| Tobolar, Jakub |
| |
| Volodarets, M. |
| |
| Piwowar, Piotr |
| |
| Tennoy, Aud | Oslo |
|
| Matos, Ana Rita |
| |
| Cicevic, Svetlana |
| |
| Sommer, Carsten | Kassel |
|
| Liu, Meiqi |
| |
| Pirdavani, Ali | Hasselt |
|
| Niklaß, Malte |
| |
| Lima, Pedro | Braga |
|
| Turunen, Anu W. |
| |
| Antunes, Carlos Henggeler |
| |
| Krasnov, Oleg A. |
| |
| Lopes, Joao P. |
| |
| Turan, Osman |
| |
| Lučanin, Vojkan | Belgrade |
|
| Tanaskovic, Jovan |
|
Platzer, Andr'E
Karlsruhe Institute of Technology
in Cooperation with on an Cooperation-Score of 37%
Topics
- drone
- driving
- theory
- algorithm
- forecasting
- safety
- physics
- optimisation
- implementation
- machinery
- learning
- machine learning
- human being
- intelligence
- foundation
- image processing
- supervisor
- supervision
- flexibility
- consensus
- autonomous automobile
- air traffic
- air traffic control
- engine
- computer science
- railway train
- automobile
- variable
- crash
- software
- roundabout
- architecture
- system design
- prevention
- highway traffic control
- inductive interference
- equation
- invariant
- differential equation
- aircraft
- aircraft pilotage
- case study
- simulation
- flight
- behavior
- robot
- robotics
- nonlinear system
- air transportation crash
- brake
- air pressure
- administration
- crash avoidance system
- aviation
- language
- consultant
- midair crash
- automata theory
- mobile robot
- design
- control system
- evolution
- mathematical model
- complex system
- family
- European Train Control System
- train control system
- skull
- modeling
- control device
- plant
- artificial intelligence
- information system
- airplane
- designer
- medical equipment
- examination
- industry
- airspace
- distributed control
- industrial engineering
- traffic crash
- symmetry
- angular velocity
- vision
- engineering
- computer network
- advanced traffic management system
- embedded system
- parametric analysis
- estimating
- show 61 more
Publications
- 2019The Logical Path to Autonomous Cyber-Physical Systemscitations
- 2018Computing Differential Invariants of Hybrid Systems as Fixedpoints
- 2018Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
- 2017Formal Verification of Train Control with Air Pressure Brakescitations
- 2017A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance Systemcitations
- 2016Logic & Proofs for Cyber-Physical Systemscitations
- 2015How to model and prove hybrid systems with KeYmaera: a tutorial on safetycitations
- 2015A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance Systemcitations
- 2013Formal verification of distributed aircraft controllerscitations
- 2012Formal verification of distributed aircraft controllerscitations
- 2010European Train Control System
- 2010Air Traffic Collision Avoidance
- 2009European Train Control System: A case study in formal verificationcitations
- 2009Verification of cyberphysical transportation systemscitations
- 2008Logical Verification and Systematic Parametric Analysis in Train Controlcitations
- 2007The Image Computation Problem in Hybrid Systems Model Checkingcitations
Places of action
