Complementing Büchi Automata with Ranker (Technical Report).
Vojtech HavlenaOndrej LengálBarbora SmahlíkováPublished in: CoRR (2022)
Keyphrases
- technical report
- cellular automata
- learning to rank
- probabilistic automata
- finite automata
- regular expressions
- lattice gas
- information gain
- user feedback
- finite state
- tree automata
- markov chain
- finite state machines
- formal language theory
- information retrieval
- finite state automaton
- timed automata
- probability estimation
- model checking
- database systems
- social networks