Draft conditionally accepted at IEEE Transactions on Automatic Control, and accompanying material for replicability. Files: The pdf is the submitted draft, The archive contains information on how to replicate the experiments, and all the used models
Abstract—We present a method for designing robust con-trollers for dynamical systems with linear tem...
Abstract: We study the synthesis of robust optimal control policies for Markov decision processes wi...
Abstract. Interactive Markov chains (IMC) are compositional behavioural models extending labelled tr...
This is the accompanying material for the draft with same title and authors of this repository. The...
This is the accompanying material for the draft with same title and authors of this repository. The...
Abstract. Continuous time Markov Chains (CTMCs) are a convenient mathematical model for a broad rang...
The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is u...
Continuous time Markov Chains (CTMCs) are a convenient mathematical model for a broad range of natur...
International audienceModel checking real time properties on probabilistic systems requires computin...
Abstract. Computing the solution to a stochastic optimal con-trol problem is difficult. A method of ...
We present a method for designing a robust control policy for an uncertain system subject to tempora...
Abstract — We present a method for designing a robust control policy for an uncertain system subject...
Hermanns has introduced interactive Markov chains (IMCs) which arise as an orthogonal extension of l...
Recent investigations have shown that the automated verification of continuous-time Markov chains (C...
We consider the model-checking problem of continuous-time Markov chains (CTMCs) with respect to Cond...
Abstract—We present a method for designing robust con-trollers for dynamical systems with linear tem...
Abstract: We study the synthesis of robust optimal control policies for Markov decision processes wi...
Abstract. Interactive Markov chains (IMC) are compositional behavioural models extending labelled tr...
This is the accompanying material for the draft with same title and authors of this repository. The...
This is the accompanying material for the draft with same title and authors of this repository. The...
Abstract. Continuous time Markov Chains (CTMCs) are a convenient mathematical model for a broad rang...
The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is u...
Continuous time Markov Chains (CTMCs) are a convenient mathematical model for a broad range of natur...
International audienceModel checking real time properties on probabilistic systems requires computin...
Abstract. Computing the solution to a stochastic optimal con-trol problem is difficult. A method of ...
We present a method for designing a robust control policy for an uncertain system subject to tempora...
Abstract — We present a method for designing a robust control policy for an uncertain system subject...
Hermanns has introduced interactive Markov chains (IMCs) which arise as an orthogonal extension of l...
Recent investigations have shown that the automated verification of continuous-time Markov chains (C...
We consider the model-checking problem of continuous-time Markov chains (CTMCs) with respect to Cond...
Abstract—We present a method for designing robust con-trollers for dynamical systems with linear tem...
Abstract: We study the synthesis of robust optimal control policies for Markov decision processes wi...
Abstract. Interactive Markov chains (IMC) are compositional behavioural models extending labelled tr...
DOI
Add to ORKG