Verification of Buffered Dynamic Register Automata.

Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmet Kara Othmane Rezine

Published in: NETYS (2015)

Keyphrases

hidden markov models
dynamic environments
cellular automata
artificial intelligence
model checking
formal verification
website
decision trees
three dimensional
multiresolution
finite state