Automata and Fixpoints for Asynchronous Hyperproperties.
Jens Oliver GutsfeldMarkus Müller-OlmChristoph OhremPublished in: CoRR (2020)
Keyphrases
- logic programs
- cellular automata
- nonmonotonic reasoning
- regular expressions
- fixpoint
- finite automata
- finite state machines
- deductive databases
- finite state
- finite state automata
- asynchronous communication
- discussion forums
- lattice gas
- databases
- probabilistic automata
- state machines
- programming language
- expert systems
- decision trees
- knowledge base
- learning algorithm