Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Blahoudek, František"'
Autor:
Blahoudek, František, Chen, Yu-Fang, Chocholatý, David, Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Síč, Juraj
When eating spaghetti, one should have the sauce and noodles mixed instead of eating them separately. We argue that also in string solving, word equations and regular constraints are better mixed together than approached separately as in most current
Externí odkaz:
http://arxiv.org/abs/2212.02317
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model dynamics of an agents that operates under resource constraints in a stochastic environment. The presented algorithms w
Externí odkaz:
http://arxiv.org/abs/2105.02099
We study the problem of minimizing the resource capacity of autonomous agents cooperating to achieve a shared task. More specifically, we consider high-level planning for a team of homogeneous agents that operate under resource constraints in stochas
Externí odkaz:
http://arxiv.org/abs/2105.01225
Autor:
Blahoudek, František, Brázdil, Tomáš, Novotný, Petr, Ornik, Melkior, Thangeda, Pranay, Topcu, Ufuk
Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a critical resource, such as electric power. Each action of the controller
Externí odkaz:
http://arxiv.org/abs/2005.07227
Self-loop alternating automata (SLAA) with B\"uchi or co-B\"uchi acceptance are popular intermediate formalisms in translations of LTL to deterministic or nondeterministic automata. This paper considers SLAA with generic transition-based Emerson-Lei
Externí odkaz:
http://arxiv.org/abs/1908.04645
Some applications of linear temporal logic (LTL) require to translate formulae of the logic to deterministic omega-automata. There are currently two translators producing deterministic automata: ltl2dstar working for the whole LTL and Rabinizer appli
Externí odkaz:
http://arxiv.org/abs/1306.4636
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Computer Aided Verification
We present the second generation of the tool Seminator that transforms transition-based generalized Büchi automata (TGBAs) into equivalent semi-deterministic automata. The tool has been extended with numerous optimizations and produces considerably
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::d9c1e44bcf36dbbecc1750f7499bdff2
http://europepmc.org/articles/PMC7363224
http://europepmc.org/articles/PMC7363224
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.