Zobrazeno 1 - 10
of 7 212
pro vyhledávání: '"Parker, David"'
Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse range of appli
Externí odkaz:
http://arxiv.org/abs/2411.05599
We present a data-driven approach for producing policies that are provably robust across unknown stochastic environments. Existing approaches can learn models of a single environment as an interval Markov decision processes (IMDP) and produce a robus
Externí odkaz:
http://arxiv.org/abs/2408.03093
Autor:
Chilcote, Michael, Mazza, Alessandro R., Lu, Qiangsheng, Gray, Isaiah, Tian, Qi, Deng, Qinwen, Moseley, Duncan, Chen, An-Hsi, Lapano, Jason, Gardner, Jason S., Eres, Gyula, Ward, T. Zac, Feng, Erxi, Cao, Huibo, Lauter, Valeria, McGuire, Michael A., Hermann, Raphael, Parker, David, Han, Myung-Geun, Kayani, Asghar, Rimal, Gaurab, Wu, Liang, Charlton, Timothy R., Moore, Robert G., Brahlek, Matthew
The field of spintronics has seen a surge of interest in altermagnetism due to novel predictions and many possible applications. MnTe is a leading altermagnetic candidate that is of significant interest across spintronics due to its layered antiferro
Externí odkaz:
http://arxiv.org/abs/2406.04474
Autor:
Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E., Češka, Milan, Grover, Kush, Hahn, Ernst Moritz, Hartmanns, Arnd, Israelsen, Bryant, Jansen, Nils, Jeppson, Joshua, Junges, Sebastian, Köhl, Maximilian A., Könighofer, Bettina, Křetínský, Jan, Meggendorfer, Tobias, Parker, David, Pranger, Stefan, Quatmann, Tim, Ruijters, Enno, Taylor, Landon, Volk, Matthias, Weininger, Maximilian, Zhang, Zhen
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool support is available for computing basic properties such as expected reward
Externí odkaz:
http://arxiv.org/abs/2405.13583
Autor:
Ortiz, Brenden R., Zhang, Heda, Gornicka, Karolina, Parker, David S., Samolyuk, German D., Yang, Fazhi, Miao, Hu, Lu, Qiangsheng, Moore, Robert G., May, Andrew F., McGuire, Michael A.
Here we present the discovery and characterization of the kagome metal TbTi$_3$Bi$_4$ in tandem with a new series of compounds, the Ln$_{2-x}$Ti$_{6+x}$Bi$_9$ (Ln: Tb-Lu) shurikagome metals. We previously reported on the growth of the LnTi$_3$Bi$_4$
Externí odkaz:
http://arxiv.org/abs/2405.11378
Online planning for partially observable Markov decision processes (POMDPs) provides efficient techniques for robot decision-making under uncertainty. However, existing methods fall short of preventing safety violations in dynamic environments. This
Externí odkaz:
http://arxiv.org/abs/2404.15557
We consider a variant of continuous-state partially-observable stochastic games with neural perception mechanisms and an asymmetric information structure. One agent has partial information, with the observation function implemented as a neural networ
Externí odkaz:
http://arxiv.org/abs/2404.10679
Autor:
Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelik, Martin, Forejt, Vojtěch, Křetínský, Jan, Kwiatkowska, Marta, Meggendorfer, Tobias, Parker, David, Ujma, Mateusz
We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of th
Externí odkaz:
http://arxiv.org/abs/2403.09184