Login / Signup
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.
Guillaume Dupont
Yamine Aït Ameur
Marc Pantel
Neeraj Kumar Singh
Published in:
MEDI Workshops (2018)
Keyphrases
</>
hybrid systems
black box
intelligent systems
neural network
soft computing
meta learning
computational intelligence
discrete event
artificial intelligence
machine learning
data model
fuzzy logic
data management
test set
dynamic systems