Self-Verifying Pushdown and Queue Automata.
Henning FernauMartin KutribMatthias WendlandtPublished in: Fundam. Informaticae (2021)
Keyphrases
- model checking
- finite state
- timed automata
- finite state machines
- queue length
- temporal logic
- markov chain
- steady state
- arrival rate
- priority scheduling
- cellular automata
- probabilistic automata
- queueing theory
- regular expressions
- markov modulated
- finite automata
- waiting times
- tree automata
- automata theoretic
- state dependent
- loss probability
- service times
- data sets
- service rates
- finite state automata
- finite capacity
- databases
- database
- traffic intensity
- search engine
- queuing systems