Login / Signup
From Interface Automata to Hypercontracts.
Inigo Incer
Albert Benveniste
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
user friendly
user interface
finite state
real time
neural network
friendly interface
expert systems
computer interface
tree automata
web interface
finite automata
graphical user interface
human computer interface
cellular automata
bayesian networks
real world
databases