Towards an Approximate Conformance Relation for Hybrid I/O Automata.

Morteza Mohaqeqi Mohammad Reza Mousavi

Published in: V2CPS@IFM (2016)

Keyphrases

finite automaton
finite automata
tree automata
input output
file system
probabilistic automata
real time
learning algorithm
case study
databases
finite state
hybrid learning