Sciweavers

875 search results - page 77 / 175
» On Reachability Under Uncertainty
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 10 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
152
Voted
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 7 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
EMO
2009
Springer
174views Optimization» more  EMO 2009»
15 years 7 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
81
Voted
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
15 years 7 months ago
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
Ebrahim Bagheri, Ali A. Ghorbani
83
Voted
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
15 years 7 months ago
The Economic Production Quantity Problem with a Finite Production Rate and Fuzzy Cycle Time
Managing the inventories along with carrying out the production program is essential for many companies in the producing industry. In this paper, a fuzzy EPQ (Economic Production ...
Kaj-Mikael Björk