Generating and Employing Witness Automata for ACTLW Formulae.

Rok Vogrin Robert Meolic Tatjana Kapus

Published in: IEEE Access (2022)

Keyphrases

cellular automata
probabilistic automata
automatically generating
finite automata
database
search engine
multi agent systems
generation method