Zobrazeno 1 - 10
of 1 755
pro vyhledávání: '"Becker, Bernd"'
Autor:
Seufert, Tobias, Winterer, Felix, Scholl, Christoph, Scheibler, Karsten, Paxian, Tobias, Becker, Bernd
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existi
Externí odkaz:
http://arxiv.org/abs/2105.09169
Autor:
White, Christina M.
Publikováno v:
Cinéaste, 2004 Jul 01. 29(3), 46-47.
Externí odkaz:
https://www.jstor.org/stable/41690257
The synthesis problem for partially observable Markov decision processes (POMDPs) is to compute a policy that satisfies a given specification. Such policies have to take the full execution history of a POMDP into account, rendering the problem undeci
Externí odkaz:
http://arxiv.org/abs/2007.08351
Exchanging data as character-separated values (CSV) is slow, cumbersome and error-prone. Especially for time-series data, which is common in Activity Recognition, synchronizing several independently recorded sensors is challenging. Adding second leve
Externí odkaz:
http://arxiv.org/abs/1908.00928
We study strategy synthesis for partially observable Markov decision processes (POMDPs). The particular problem is to determine strategies that provably adhere to (probabilistic) temporal logic constraints. This problem is computationally intractable
Externí odkaz:
http://arxiv.org/abs/1903.08428
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.
Autor:
Senior, Catherine A., Marsham, John H., Berthou, Ségolène, Burgin, Laura E., Folwell, Sonja S., Kendon, Elizabeth J., Klein, Cornelia M., Jones, Richard G., Mittal, Neha, Rowell, David P., Tomassini, Lorenzo, Vischel, Théo, Becker, Bernd, Birch, Cathryn E., Crook, Julia, Dougill, Andrew J., Finney, Declan L., Graham, Richard J., Hart, Neil C. G., Jack, Christopher D., Jackson, Lawrence S., James, Rachel, Koelle, Bettina, Misiani, Herbert, Mwalukanga, Brenda, Parker, Douglas J., Stratton, Rachel A., Taylor, Christopher M., Tucker, Simon O., Wainwright, Caroline M., Washington, Richard, Willet, Martin R.
Publikováno v:
Bulletin of the American Meteorological Society, 2021 Jun 01. 102(6), E1206-E1223.
Externí odkaz:
https://www.jstor.org/stable/27214446
Autor:
Junges, Sebastian, Jansen, Nils, Wimmer, Ralf, Quatmann, Tim, Winterer, Leonore, Katoen, Joost-Pieter, Becker, Bernd
We study finite-state controllers (FSCs) for partially observable Markov decision processes (POMDPs) that are provably correct with respect to given specifications. The key insight is that computing (randomised) FSCs on POMDPs is equivalent to - and
Externí odkaz:
http://arxiv.org/abs/1710.10294
Autor:
Winterer, Leonore, Junges, Sebastian, Wimmer, Ralf, Jansen, Nils, Topcu, Ufuk, Katoen, Joost-Pieter, Becker, Bernd
We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guaranteed to satisfy certain safety and performance specifications. Verificati
Externí odkaz:
http://arxiv.org/abs/1708.04236