2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.GT2012★ 2 cited
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +1
We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. More precisely, a consumption game is a…
cs.LO2005
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonin Kucera, Petr Jancar
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as o…