2 citations
5 papers
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…
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…
Beta Expansions for Regular Pisot Numbers
Maysum Panju
A beta expansion is the analogue of the base 10 representation of a real number, where the base may be a non-integer. Although the greedy beta expansion of 1 using a non-integer ba…
Characteristic Points of Recursive Systems
Jason Bell, Stanley Burris, Karen Yeats
Characteristic points have been a primary tool in the study of a generating function defined by a single recursive equation. We investigate the proper way to adapt this tool when w…
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…