Assume-guarantee contracts for continuous-time systems.

Adnane Saoud Antoine Girard Laurent Fribourg

Published in: Autom. (2021)

Keyphrases

neural network
artificial intelligence
expert systems
complex systems
systems require
real time
information systems
multimedia
probability distribution
markov chain