Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations.

Anton Dimov Hristozov

Published in: SysCon (2024)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
nuclear power plant
support systems
high level
embedded systems
agent architecture
multi agent
real time
machine learning
artificial intelligence
knowledge base
low cost
regulatory requirements