Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Výsledky výzkumu
Equivalence of deterministic one-counter automata is NL-complete
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Efficient Verification Algorithms for One-Counter Processes
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
The Complexity of Bisimilarity-Checking for One-Counter Processes
IN - Informatika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Approximating the termination value of one-counter MDPs and stochastic games
IN - Informatika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Simulation and Bisimulation over One-Counter Processes
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
On Simulation-Checking with Sequetial Systems
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete
IN - Informatika
- 2011 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 z 5 944