506 search results - page 25 / 102 » Where Is the Value in a Program Verifier |
110
Voted
ICALP
2009
Springer
16 years 22 days ago
2009
Springer
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...
136
click to vote
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
114
Voted
CP
2000
Springer
15 years 4 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
AAAI
1997
15 years 1 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
97
Voted
JAIR
2008
15 years 13 days ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...