A linear-time branching-time perspective on interface automata.

Walter Vogler Gerald Lüttgen

Published in: Acta Informatica (2020)

Keyphrases

cellular automata
user interface
human computer interface
temporal logic
viewpoint
temporal reasoning
worst case
user friendly
finite automata
direct manipulation
real time
upper bound
high speed
epistemic logic
visual interface
probabilistic automata