Sebastian Junges
|
642779e56f
|
precision for native solver
|
5 years ago |
|
Sebastian Junges
|
d62aac24b1
|
model checking fully observable (due to auto downcasting, this needs a separate function
|
5 years ago |
|
Sebastian Junges
|
321f7bdcc0
|
random step
|
5 years ago |
|
Sebastian Junges
|
89f3924b8c
|
finding explicit states in models
|
5 years ago |
|
Sebastian Junges
|
a966938095
|
refactoring in storm requires new includes in stormpy
|
5 years ago |
Matthias Volk
|
03605b44c4
|
Renamed preprocess_prism_program to preprocess_symbolic_input
|
5 years ago |
|
Sebastian Junges
|
9fefa1ac82
|
export options for DRN: allow or not allow placeholders
|
5 years ago |
|
Sebastian Junges
|
bb18af75b6
|
add initial support for dds
|
5 years ago |
|
Sebastian Junges
|
28dc5ddb4b
|
simulator presents rewards in step and restart function
|
5 years ago |
|
Matthias Volk
|
7015a4c012
|
Default parameters for BuilderOptions
|
5 years ago |
|
Sebastian Junges
|
ec2cf86e20
|
added optimistic value iteration to the environments
|
5 years ago |
|
Sebastian Junges
|
c17680f761
|
fix code that only compiles on macos
|
5 years ago |
|
Sebastian Junges
|
eefa75c203
|
flatset adaption to work with latest versions of boost
|
5 years ago |
|
Sebastian Junges
|
c29871b1b2
|
build reward models and get them by name
|
5 years ago |
|
Sebastian Junges
|
8502f282ac
|
additional builder options
|
5 years ago |
|
Sebastian Junges
|
38189e7004
|
first version of a model simulator
|
5 years ago |
|
Matthias Volk
|
1a8ec096bc
|
Use header file for all environments
|
5 years ago |
Sebastian Junges
|
2ac4805554
|
added options for the DRN parser, reflects recent changes in storm
|
5 years ago |
|
Matthias Volk
|
106e1146b6
|
Bindings for elimination of chains of non-Markovian states
|
5 years ago |
|
Matthias Volk
|
1bbf1f108e
|
Adaption to changes in Storm
|
5 years ago |
|
Sebastian Junges
|
300902a5cd
|
support for getting results for a particular state with symbolic model checking
|
5 years ago |
|
Sebastian Junges
|
feb279c7d1
|
Environment extended to select the model checking algorithm for Markov chains
|
5 years ago |
|
Sebastian Junges
|
1930a6d612
|
generic parse_properties for simpler code
|
5 years ago |
|
Matthias Volk
|
35fc0699ee
|
Bindings for InstantiationModelchecker with RationalNumber
|
5 years ago |
|
Sebastian Junges
|
76870b61be
|
building models with valuations
|
6 years ago |
|
Matthias Volk
|
de7aaa3fff
|
Set Storm settings
|
6 years ago |
|
Matthias Volk
|
e831ae36c5
|
Binding for preprocessing prism models
|
6 years ago |
|
Matthias Volk
|
7641c433a9
|
Adaptions to changes in Storm
|
6 years ago |
|
Matthias Volk
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
|
Sebastian Junges
|
2e1f60a3c0
|
support for submodel construction
|
6 years ago |
|
Sebastian Junges
|
297f5457a3
|
improved access to counterexamples
|
6 years ago |
|
Sebastian Junges
|
183f0cf843
|
extended environment
|
6 years ago |
|
Sebastian Junges
|
30f6b4395d
|
model checking routines take optional environment
|
6 years ago |
|
Matthias Volk
|
befee6332f
|
Added simple filtering for initial states
|
7 years ago |
|
Matthias Volk
|
0ef93e57b3
|
Adapted Jani bindings according to changes in Storm
|
7 years ago |
|
Matthias Volk
|
63d3e96283
|
Updated JaniPropery bindings according to changes in Storm
|
7 years ago |
|
Sebastian Junges
|
c9d4584dd4
|
some support for the solver environment
|
7 years ago |
|
Sebastian Junges
|
653144d415
|
counterexample support updated
|
7 years ago |
|
Matthias Volk
|
92b1ed72bc
|
Adaptions to changes in Storm
|
7 years ago |
|
Sebastian Junges
|
5a16a60038
|
fixed spacing
|
7 years ago |
|
Sebastian Junges
|
50f7e054f7
|
bindings for cex generator stats
|
7 years ago |
|
Sebastian Junges
|
2bb610885a
|
initialise counterexample settings
|
7 years ago |
|
Sebastian Junges
|
38b4960d8f
|
add precompute bindings
|
7 years ago |
|
Sebastian Junges
|
7bb7023e01
|
transformation: default no formulae given
|
7 years ago |
|
Sebastian Junges
|
db71b7e5fd
|
fixed transformation after changes in storm
|
7 years ago |
|
Sebastian Junges
|
c0ac30fcd2
|
access to: preserved label names during building
|
7 years ago |
|
Sebastian Junges
|
367fa419dd
|
add some fields to counterexample options
|
7 years ago |
|
sjunges
|
70a54e26c9
|
updated based on changes in storm
|
7 years ago |
|
Sebastian Junges
|
2ac815b826
|
extended wrapper for counterexamples:
|
7 years ago |
|
Sebastian Junges
|
668753696a
|
more building options
|
7 years ago |
