535 Commits (f42092e7aa6ae72f50aab6ad3bae9af1bf3fc850)
 

Author SHA1 Message Date
Sebastian Junges f42092e7aa convenient access to choice index 5 years ago
Sebastian Junges 9bd59c6356 choice labelling: get labels for a choice 5 years ago
Sebastian Junges d76f9e64f9 get automaton by name 5 years ago
Sebastian Junges 12509f4410 update simulator with the ability to use POMDP observations or states 5 years ago
Sebastian Junges b14fbfb7af flatten composition in jani, (+smtsolverfactory) 5 years ago
Sebastian Junges 8cadf228fc does a model have a choice labelling? 5 years ago
Sebastian Junges 41a0dd0bde fix test 5 years ago
Sebastian Junges b844d02cd9 make canonic for pomdps 5 years ago
Sebastian Junges cf743f3c32 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy 5 years ago
Sebastian Junges 6ccd867d7b get prism module by name, get variables from module by name 5 years ago
Sebastian Junges baae1d4d78 fix maze2 example 5 years ago
Matthias Volk 47383090d3 Fixed return policy 5 years ago
Sebastian Junges 8502f282ac additional builder options 5 years ago
Sebastian Junges 522bdb6e68 Pomdp inherit from Mdp 5 years ago
Sebastian Junges a17dfa107b iterator over bitvectors added (iterating now mimicks the cpp behavior) 5 years ago
Sebastian Junges 86dfe8abf0 init file to allow easier loading of pomdp library 5 years ago
Sebastian Junges 20106e34bc bindings for POMDP analysis prepared 5 years ago
Sebastian Junges 57dd8c363b add application of the scheduler 5 years ago
Sebastian Junges 789b836f87 simulator support for nondeterministic models 5 years ago
Sebastian Junges 69cdae39a3 nr available actions 5 years ago
Sebastian Junges c1ef0845d7 Merge branch 'master' into modelsimulator 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 5d41f02e16 state valuations.get_state() by reference, and simple valuations __str__ now only has optional arguments 5 years ago
Sebastian Junges c3959267c2 model.is_sink_state(state) 5 years ago
Sebastian Junges 38189e7004 first version of a model simulator 5 years ago
Philipp Schröer e30b7da2e9 StateGenerator: add simulate function 5 years ago
Sebastian Junges 81703b7851 flags for: a model is discrete_time, a model is nondeterministic 5 years ago
Philipp Schröer 620d2e4094 StateGenerator: update test 5 years ago
Philipp Schröer 45c6415eaa StateGenerator: expose choice origins 5 years ago
Tim Quatmann 3531da5424 Jani: Added new fields of InformationObject. 5 years ago
Tim Quatmann 86b7c033f0 Adapted jani bindings to changes in Storm 5 years ago
Matthias Volk 5ae552ee59 Minor improvements 5 years ago
Matthias Volk 78c5ccb2b1 Adapted tests to changes in storm 5 years ago
Matthias Volk 1a8ec096bc Use header file for all environments 5 years ago
Matthias Volk b14ec6fc40 Add installation step for pytest in doc 5 years ago
Matthias Volk 049f614759 Disable deprecation warnings for now. Otherwise the pybind11 compilation output is too cluttered. 5 years ago
Matthias Volk d94317b17e Enable function signatures in documentation by default 5 years ago
Matthias Volk 2df513f66e Updated documentation for new releases 5 years ago
Matthias Volk 27fbfa6e52 Increased required Storm version 5 years ago
Matthias Volk ae036cfad5 Adapted state space sizes in tests as Storm improvements lead to smaller models 5 years ago
Sebastian Junges 2ac4805554 added options for the DRN parser, reflects recent changes in storm 5 years ago
Sebastian Junges d8c4bca6a7 added jani collector bindings 5 years ago
Matthias Volk 106e1146b6 Bindings for elimination of chains of non-Markovian states 5 years ago
Matthias Volk 5a61c88b6d Tests for scheduler application and MA->CTMC translation 5 years ago
Matthias Volk 9e31a5b83a Fixed __str__ of models 5 years ago
Sebastian Junges 7ae4d0806e expression conjucntion and disjunction 5 years ago
Matthias Volk 1e7a1e171f Updated CHANGELOG 5 years ago
Matthias Volk 232a5c8dc4 Fixed missing import 5 years ago
Sebastian Junges cc24dbcd88 latest release badge 5 years ago