Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Brim, Lubo��"'
Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4837a1725191683b678e50b0bfd5cc25
http://arxiv.org/abs/2111.13036
http://arxiv.org/abs/2111.13036
Autor:
Chaloupka, Jakub, Brim, Lubo
We study some existing techniques for solving mean-payoff games (MPGs), improve them, and design a randomized algorithm for solving MPGs with currently the best expected complexity.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c3851dece23aabcef13d87fa4188393
Publikováno v:
2013 13th International Conference on Application of Concurrency to System Design; 2013, p51-59, 9p
Publikováno v:
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering; 1/ 1/2012, p245-248, 4p
Publikováno v:
Foundations of Software Engineering; 2005, p98-105, 8p
Publikováno v:
ENTCS: Electronic Notes in Theoretical Computer Science; Mar2003, Vol. 68 Issue 3, p347-370, 24p
Autor:
Brim, Lubo&sbreve;, Grumberg, Orna
Publikováno v:
International Journal on Software Tools for Technology Transfer; Feb2005, Vol. 7 Issue 1, p1-3, 3p
Publikováno v:
Common Component Modeling Example; 2008, p1-1, 1p
Publikováno v:
Computer Aided Verification (9783642397981); 2013, p1-1, 1p