2 citations
3 papers
eess.SY2024★ 2 cited
Learning Algorithms for Verification of Markov Decision Processes
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik +6
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…
stat.ME2020
Empirical Likelihood Inference With Public-Use Survey Data
Puying Zhao, J. N. K. Rao, Changbao Wu
Public-use survey data are an important source of information for researchers in social science and health studies to build statistical models and make inferences on the target fin…
hep-ph2006
On the Hamiltonian Form of Generalized Dirac Equation for Fermions with Two Mass States
S. I. Kruglov
Dynamical and non-dynamical components of the 20-component wave function are separated in the generalized Dirac equation of the first order, describing fermions with spin 1/2 and t…