Tree: 442fff1344

refactoring

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '442fff1344'

${ noResults }

Commit Graph

14 Commits (442fff1344032321a2d630445ec5f2f311918895)

Author	SHA1	Message	Date
Thomas Knoll	557dd4f57e	extended smg / stg / simulator python classes	2 years ago
Sebastian Junges	58da4df1c3	support for exact arithmetic	5 years ago
Sebastian Junges	92268776fd	set seed for the simulator after initialization	5 years ago
Sebastian Junges	321f7bdcc0	random step	5 years ago
Sebastian Junges	e3467a4bb9	simulator does not crash on dtmcs	5 years ago
Sebastian Junges	28dc5ddb4b	simulator presents rewards in step and restart function	5 years ago
Sebastian Junges	d0da169f7e	better comments in the simulator	5 years ago
Sebastian Junges	5d3319dfea	simulator: action mode global names for MDPs	5 years ago
Matthias Volk	bf32cbb94b	Return json encoding of state valuations in simulator after changes in Storm	5 years ago
Sebastian Junges	12509f4410	update simulator with the ability to use POMDP observations or states	6 years ago
Sebastian Junges	789b836f87	simulator support for nondeterministic models	6 years ago
Sebastian Junges	00f8f148dd	Better documentation	6 years ago
Sebastian Junges	06f3d59e48	simulator: check if in sink state, and set to program level observations	6 years ago
Sebastian Junges	38189e7004	first version of a model simulator	6 years ago