C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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