You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: f4dab093cb

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'f4dab093cb'

${ noResults }

prism-accumulation/prism-tests/functionality/verify/pomdps

History

Joachim Klein f4dab093cb add Expression.isReachWithStateFormula isReach() is more restrictive, only allowing propositions as operand of R=?[ F phi ], while we are also interested in the case where phi as some complex state formula, potentially with nested operators, etc.		8 years ago
..
3x3grid.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
3x3grid.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
3x3grid_bounded.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
3x3grid_bounded.prism.args	Move POMDP/POPTA tests to prism-tests.	6 years ago
3x3grid_bounded.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
crypt3.prism	Fix some examples/tests: duplicate actions not allowed in a state.	6 years ago
crypt3.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
guess-multi.prism	More POMDP tests.	6 years ago
guess-multi.prism.props	Improve detection of infinite-valued states for POMDP expected reward.	6 years ago
guess-multi.prism.props.args	More POMDP tests.	6 years ago
guess.prism	More POMDP tests.	6 years ago
guess.prism.props	More POMDP tests.	6 years ago
maze.prism	Update some POMDP examples now that observables can be expressions.	6 years ago
maze.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
maze2.prism	Update some POMDP examples now that observables can be expressions.	6 years ago
maze2.prism.props	Update some POMDP examples now that observables can be expressions.	6 years ago
maze2.prism.props.args	Update some POMDP examples now that observables can be expressions.	6 years ago
mdp_simple.prism	Some simple MDP-as-POMDP tests.	6 years ago
mdp_simple.prism.props	POMDP computation performed for any (single) state, not just the initial one.	6 years ago
network2.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2.prism.args	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_noidle.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_noidle.prism.args	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_noidle.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities.prism.args	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities_noidle.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities_noidle.prism.args	Move POMDP/POPTA tests to prism-tests.	6 years ago
network2_priorities_noidle.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
nonobs-target.prism	Move POMDP/POPTA tests to prism-tests.	6 years ago
nonobs-target.prism.props	Move POMDP/POPTA tests to prism-tests.	6 years ago
nonobs-target.prism.props.args	Move POMDP/POPTA tests to prism-tests.	6 years ago