Login / Signup
On the applicability of hybrid systems safety verification tools from the automotive perspective.
Stefan Schupp
Erika Ábrahám
Md Tawhid Bin Waez
Thomas Rambow
Zeng Qiu
Published in:
Int. J. Softw. Tools Technol. Transf. (2024)
Keyphrases
</>
hybrid systems
intelligent systems
black box
neural network
soft computing
meta learning
artificial intelligence
computational intelligence
discrete event
real world
formal methods
genetic algorithm
decision making
web services