Login / Signup
Dependable and Efficient Cloud-Based Safety-Critical Applications by Example of Automated Valet Parking.
Christian Drabek
Dhavalkumar Shekhada
Gereon Weiss
Mario Trapp
Tasuku Ishigooka
Satoshi Otsuka
Mariko Mizuochi
Published in:
INTSYS (2020)
Keyphrases
</>
safety critical
fault tolerant
agent architecture
embedded systems
safety analysis
regulatory requirements
real time
artificial intelligence
multi agent systems
control system
low cost
formal methods
nuclear power plant