149 search results - page 19 / 30 » State Space Reduction for Process Algebra Specifications |
DAGM
2007
Springer
15 years 4 months ago
2007
Springer
We propose an unsupervised “local learning” algorithm for learning a metric in the input space. Geometrically, for a given query point, the algorithm finds the minimum volume ...
NIPS
2000
14 years 11 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
ICTAI
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
AAAI
2010
14 years 11 months ago
2010
Partially Observable Markov Decision Processes (POMDPs) are a well-established and rigorous framework for sequential decision-making under uncertainty. POMDPs are well-known to be...
64
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...