Branch: refactoring

refactoring

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'refactoring'

${ noResults }

Commit Graph

14 Commits (refactoring)

Author	SHA1	Message	Date
Thomas Knoll	557dd4f57e	extended smg / stg / simulator python classes	1 year ago
Sebastian Junges	58da4df1c3	support for exact arithmetic	4 years ago
Sebastian Junges	92268776fd	set seed for the simulator after initialization	4 years ago
Sebastian Junges	321f7bdcc0	random step	4 years ago
Sebastian Junges	e3467a4bb9	simulator does not crash on dtmcs	4 years ago
Sebastian Junges	28dc5ddb4b	simulator presents rewards in step and restart function	4 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	5 years ago
Sebastian Junges	789b836f87	simulator support for nondeterministic models	5 years ago
Sebastian Junges	00f8f148dd	Better documentation	5 years ago
Sebastian Junges	06f3d59e48	simulator: check if in sink state, and set to program level observations	5 years ago
Sebastian Junges	38189e7004	first version of a model simulator	5 years ago