Correction to: A linear-time branching-time perspective on interface automata.

Walter Vogler Gerald Lüttgen

Published in: Acta Informatica (2021)

Keyphrases

temporal logic
user interface
cellular automata
user friendly
visual interface
neural network
learning algorithm
model checking
temporal reasoning
worst case
viewpoint
error correction
finite state
graphical interface
natural language interface
finite automata