Nominal Büchi Automata with Name Allocation.
Henning UrbatDaniel HausmannStefan MiliusLutz SchröderPublished in: CONCUR (2021)
Keyphrases
- probabilistic automata
- cellular automata
- optimal allocation
- dynamic allocation
- resource allocation
- regular expressions
- finite state
- finite automata
- allocation scheme
- information gain
- tree automata
- allocation strategy
- nominal attributes
- real time
- allocation problems
- timed automata
- finite state automata
- multi agent
- multiscale
- similarity measure
- case study
- website