never-worse-relation-paper_2024.zip
never-worse-relation-paper_2024
.gitignore
8.4 kB
LICENSE
1.1 kB
README.md
7.7 kB
benchmarks_ATVA2023
example_benchmark
consensus.2.v1.prism
1.5 kB
consensus.4.v1.prism
1.8 kB
firewire.false.v2.prism
5.4 kB
index_with_two_models.json
633 Bytes
pacman.v2.jani
1.7 MB
philosophers-mdp.3.v1.prism
1.4 kB
unused_index.json
620 Bytes
folded_benchmark
benchmarks_collapse_only.json
2.8 kB
benchmarks_full.json
48.1 kB
benchmarks_markov_chain.json
5.3 kB
benchmarks_normal.json
40.4 kB
brp.prism
3.0 kB
consensus.10.v1.prism
2.9 kB
consensus.2.v1.prism
1.7 kB
consensus.4.v1.prism
2.0 kB
consensus.6.v1.prism
2.3 kB
consensus.8.v1.prism
2.6 kB
crowds.v1.prism
10.4 kB
csma.2-2.v1.prism
4.7 kB
csma.2-4.v1.prism
5.4 kB
csma.2-6.v1.prism
8.3 kB
csma.3-2.v1.prism
5.1 kB
csma.3-4.v1.prism
5.8 kB
csma.3-6.v1.prism
8.6 kB
csma.4-2.v1.prism
5.4 kB
csma.4-4.v1.prism
6.1 kB
csma.4-6.v1.prism
8.9 kB
firewire.false.v2.prism
5.4 kB
firewire.true.v2.prism
5.8 kB
firewire_abst.v1.prism
1.9 kB
firewire_dl.v1.prism
2.4 kB
ij.10.v1.prism
1.7 kB
ij.20.v1.prism
5.0 kB
ij.3.v1.prism
657 Bytes
ij.30.v1.prism
10.0 kB
ij.40.v1.prism
16.8 kB
ij.50.v1.prism
25.4 kB
pacman.v2.jani
1.7 MB
philosophers-mdp.10.v1.prism
2.0 kB
philosophers-mdp.20.v1.prism
2.8 kB
philosophers-mdp.3.v1.prism
1.4 kB
philosophers-mdp.30.v1.prism
3.6 kB
pnueli-zuck.10.v1.prism
2.8 kB
pnueli-zuck.15.v1.prism
3.8 kB
pnueli-zuck.3.v1.prism
1.5 kB
pnueli-zuck.5.v1.prism
1.9 kB
rabin.10.v1.prism
3.6 kB
rabin.3.v1.prism
2.8 kB
rabin.5.v1.prism
3.0 kB
resource-gathering.v2.jani
98.0 kB
wlan.0.v1.prism
8.4 kB
wlan.1.v1.prism
8.7 kB
wlan.2.v1.prism
9.1 kB
wlan.3.v1.prism
10.1 kB
wlan.4.v1.prism
11.9 kB
wlan.5.v1.prism
15.7 kB
wlan.6.v1.prism
23.1 kB
wlan_dl.0.v1.prism
7.3 kB
wlan_dl.1.v1.prism
7.6 kB
wlan_dl.2.v1.prism
8.1 kB
wlan_dl.3.v1.prism
9.0 kB
wlan_dl.4.v1.prism
10.9 kB
wlan_dl.5.v1.prism
14.6 kB
wlan_dl.6.v1.prism
22.0 kB
zeroconf.v1.prism
11.4 kB
zeroconf_dl.v1.prism
11.6 kB
manually_converted
README.md
1.5 kB
consensus.2.16.ex
95.3 kB
consensus.2.16.json
1.1 MB
consensus.2.2.ex
11.8 kB
consensus.2.2.json
141.2 kB
consensus.2.4.ex
23.3 kB
consensus.2.4.json
276.9 kB
consensus.2.6.ex
34.9 kB
consensus.2.6.json
412.9 kB
consensus.2.8.ex
46.6 kB
consensus.2.8.json
549.1 kB
consensus.2.v1.prism
1.5 kB
consensus.4.v1.prism
1.7 kB
consensus.6.v1.prism
1.9 kB
consensus.8.v1.prism
2.1 kB
zeroconf.20.2.true.ex
26.0 kB
zeroconf.20.2.true.json
254.0 kB
zeroconf.20.4.true.ex
42.2 kB
zeroconf.20.4.true.json
413.2 kB
zeroconf.20.6.true.ex
59.2 kB
zeroconf.20.6.true.json
573.3 kB
zeroconf.20.8.true.ex
76.1 kB
zeroconf.20.8.true.json
733.4 kB
zeroconf.v1.prism
11.4 kB
model_index_format_compact.json
763 Bytes
benchmarks_NWR2
folded_custom
custom_example.json
6.7 kB
custom_example_big.json
4.7 kB
custom_example_variant_a.prism
3.9 kB
custom_example_variant_b.prism
4.0 kB
custom_example_variant_c.prism
4.6 kB
custom_example_variant_d.prism
4.0 kB
custom_example_very_big.json
4.0 kB
folded_lifting
evade_1,2,0,1.drn
8.3 kB
evade_1,2,0,2.drn
29.3 kB
evade_1,2,1,1.drn
17.1 kB
evade_1,2,1,2.drn
84.4 kB
evade_1,2,3,1.drn
35.1 kB
evade_1,2,3,2.drn
122.7 kB
evade_1,2-,1.drn
4.3 kB
herman_11,10.prism
1.7 kB
herman_11,15.prism
1.7 kB
herman_11,2.prism
1.7 kB
herman_11,5.prism
1.7 kB
herman_11_dyn.prism
1.8 kB
herman_13,15.prism
1.8 kB
herman_13,25.prism
1.8 kB
herman_13,35.prism
1.8 kB
herman_9_dyn.prism
1.6 kB
lifting_paper_adjusted.json
5.7 kB
lifting_paper_full.json
13.3 kB
maze_1000.drn
1.2 MB
maze_10000.drn
12.9 MB
maze_25.drn
25.4 kB
nrp_10,1.drn
6.9 kB
nrp_11,1.drn
8.2 kB
nrp_12,1.drn
9.5 kB
nrp_13,1.drn
11.0 kB
nrp_14,1.drn
12.6 kB
nrp_15,1.drn
14.3 kB
nrp_5,1.drn
2.2 kB
nrp_6,1.drn
2.9 kB
nrp_7,1.drn
3.7 kB
nrp_8,1.drn
4.7 kB
nrp_9,1.drn
5.7 kB
folded_mono
brp.prism
3.2 kB
crowds.prism
11.1 kB
gambler.prism
317 Bytes
messageAuthentication.prism
774.8 kB
mono_paper_adjusted.json
5.7 kB
mono_paper_orig.json
5.7 kB
zeroconf.prism
449 Bytes
check_duplicate_filename_in_benchmark.py
814 Bytes
never_worse_reduction
__init__.py
1.2 kB
collapse_mec.py
6.7 kB
equiv_collapse.py
11.7 kB
essential.py
3.4 kB
extremal.py
11.6 kB
find_mec.py
6.8 kB
format_conversion
__init__.py
1.2 kB
add_final_state_to_explicit.py
4.7 kB
compact_model_index.py
9.4 kB
compact_to_explicit_format.py
19.5 kB
explicit_to_simple.py
6.8 kB
model_index.py
9.8 kB
to_prism.py
4.9 kB
io
__init__.py
0 Bytes
mdp_deserialise_simple.py
11.1 kB
mdp_serialise_simple.py
3.8 kB
main
__init__.py
1.2 kB
bucket_benchmark.py
4.6 kB
mdp_to_dot.py
3.2 kB
merge_index_stage7.py
4.5 kB
reporting.py
4.5 kB
tool.py
44.3 kB
unfold_compact_index.py
2.4 kB
mdp.py
30.7 kB
nwr_2
__init__.py
0 Bytes
markov_chain_equivalence.py
3.8 kB
param_equiv_collapse.py
7.4 kB
param_extremal_collapse.py
6.5 kB
parametric_equivalence.py
4.0 kB
reachability.py
6.0 kB
reduce
__init__.py
1.2 kB
action_pruning.py
8.2 kB
collapse_using_under_approx.py
2.6 kB
reduction2.py
8.1 kB
reporting
__init__.py
1.2 kB
clean_metadata.py
7.1 kB
create_reports.py
7.6 kB
experiment_results.py
10.7 kB
under_approx
__init__.py
1.2 kB
graph.py
18.4 kB
inference_rules.py
4.0 kB
populate.py
4.6 kB
pytest.ini
28 Bytes
requirements.txt
212 Bytes
results_ATVA_2023
experiment_results_final.zip
31.3 MB
table.html
70.9 kB
results_NWR2
storm_output_NWR2
lifting
custom_examples
collapsed
custom_example_variant_a_n-100_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-10_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-150_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-15_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-200_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-20_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-25_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-2_collapsed_lifting_sdout.txt
1.7 kB
custom_example_variant_a_n-300_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-3_collapsed_lifting_sdout.txt
1.7 kB
custom_example_variant_a_n-50_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-8_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-100_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-10_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-150_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-15_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-200_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-20_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-25_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-2_collapsed_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-300_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-3_collapsed_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-50_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-8_collapsed_lifting_sdout.txt
1.7 kB
custom_example_variant_c_n-100_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-10_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-150_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-15_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-200_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-20_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-25_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-2_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-300_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-3_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-50_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-8_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-100_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-10_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-150_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-15_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-200_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-20_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-25_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-2_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-300_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-3_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-50_collapsed_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-8_collapsed_lifting_sdout.txt
1.8 kB
ref
custom_example_variant_a_n-100_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-10_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-150_ref_lifting_sdout.txt
703 Bytes
custom_example_variant_a_n-15_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-200_ref_lifting_sdout.txt
703 Bytes
custom_example_variant_a_n-20_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-25_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_a_n-2_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_a_n-3_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_a_n-50_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_a_n-8_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-100_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-10_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-150_ref_lifting_sdout.txt
703 Bytes
custom_example_variant_b_n-15_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-20_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-25_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-2_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-3_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_b_n-50_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_b_n-8_ref_lifting_sdout.txt
1.7 kB
custom_example_variant_c_n-100_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-10_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-150_ref_lifting_sdout.txt
703 Bytes
custom_example_variant_c_n-15_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-20_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-25_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-2_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-3_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-50_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_c_n-8_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-100_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-10_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-150_ref_lifting_sdout.txt
703 Bytes
custom_example_variant_d_n-15_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-20_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-25_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-2_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-3_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-50_ref_lifting_sdout.txt
1.8 kB
custom_example_variant_d_n-8_ref_lifting_sdout.txt
1.8 kB
docker_terminal_1.txt
17.9 kB
docker_terminal_2.txt
19.1 kB
extra_notes_lifting.txt
183 Bytes
lifting_paper
collapsed
herman_11_dyn_MAX-2_collapsed_lifting_sdout.txt
1.8 kB
herman_11_dyn_MAX-5_collapsed_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-10_collapsed_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-15_collapsed_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-20_collapsed_lifting_sdout.txt
1.8 kB
nrp_5,1.drn_collapsed_lifting_sdout.txt
1.9 kB
nrp_6,1.drn_collapsed_lifting_sdout.txt
1.9 kB
nrp_7,1.drn_collapsed_lifting_sdout.txt
1.7 kB
nrp_8,1.drn_collapsed_lifting_sdout.txt
261.9 kB
nrp_9,1.drn_collapsed_lifting_sdout.txt
1.8 kB
ref
herman_11_dyn_MAX-2_ref_lifting_sdout.txt
1.8 kB
herman_11_dyn_MAX-5_ref_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-10_ref_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-15_ref_lifting_sdout.txt
1.8 kB
herman_9_dyn_MAX-20_ref_lifting_sdout.txt
1.8 kB
nrp_5,1.drn_ref_lifting_sdout.txt
1.9 kB
nrp_6,1.drn_ref_lifting_sdout.txt
1.9 kB
nrp_7,1.drn_ref_lifting_sdout.txt
293.1 kB
nrp_8,1.drn_ref_lifting_sdout.txt
193.8 kB
nrp_9,1.drn_ref_lifting_sdout.txt
311.9 kB
terminal_collapsed.txt
11.8 kB
terminal_ref.txt
8.9 kB
mono
custom_examples
collapsed
custom_example_variant_a_n-10_collapsed.dot0
180 Bytes
custom_example_variant_a_n-10_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-15_collapsed.dot0
180 Bytes
custom_example_variant_a_n-15_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-20_collapsed.dot0
180 Bytes
custom_example_variant_a_n-20_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-25_collapsed.dot0
180 Bytes
custom_example_variant_a_n-25_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-2_collapsed.dot0
180 Bytes
custom_example_variant_a_n-2_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-3_collapsed.dot0
180 Bytes
custom_example_variant_a_n-3_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_a_n-8_collapsed.dot0
180 Bytes
custom_example_variant_a_n-8_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-10_collapsed.dot0
136 Bytes
custom_example_variant_b_n-10_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-15_collapsed.dot0
136 Bytes
custom_example_variant_b_n-15_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-20_collapsed.dot0
136 Bytes
custom_example_variant_b_n-20_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-25_collapsed.dot0
136 Bytes
custom_example_variant_b_n-25_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-2_collapsed.dot0
136 Bytes
custom_example_variant_b_n-2_collapsed_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-3_collapsed.dot0
136 Bytes
custom_example_variant_b_n-3_collapsed_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-8_collapsed.dot0
136 Bytes
custom_example_variant_b_n-8_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-10_collapsed.dot0
248 Bytes
custom_example_variant_c_n-10_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-15_collapsed.dot0
248 Bytes
custom_example_variant_c_n-15_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-20_collapsed.dot0
248 Bytes
custom_example_variant_c_n-20_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-25_collapsed.dot0
248 Bytes
custom_example_variant_c_n-25_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-2_collapsed.dot0
248 Bytes
custom_example_variant_c_n-2_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-3_collapsed.dot0
248 Bytes
custom_example_variant_c_n-3_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-8_collapsed.dot0
248 Bytes
custom_example_variant_c_n-8_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-10_collapsed.dot0
204 Bytes
custom_example_variant_d_n-10_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-15_collapsed.dot0
204 Bytes
custom_example_variant_d_n-15_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-20_collapsed.dot0
204 Bytes
custom_example_variant_d_n-20_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-25_collapsed.dot0
204 Bytes
custom_example_variant_d_n-25_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-2_collapsed.dot0
204 Bytes
custom_example_variant_d_n-2_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-3_collapsed.dot0
204 Bytes
custom_example_variant_d_n-3_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-8_collapsed.dot0
204 Bytes
custom_example_variant_d_n-8_collapsed_mono_sdout.txt
1.8 kB
reference
custom_example_variant_a_n-10_ref.dot0
1.1 kB
custom_example_variant_a_n-10_ref.dot1
1.1 kB
custom_example_variant_a_n-10_ref.dot2
1.1 kB
custom_example_variant_a_n-10_ref.dot3
1.0 kB
custom_example_variant_a_n-10_ref.dot4
1.0 kB
custom_example_variant_a_n-10_ref.dot5
1.1 kB
custom_example_variant_a_n-10_ref.dot6
616 Bytes
custom_example_variant_a_n-10_ref.dot7
710 Bytes
custom_example_variant_a_n-10_ref.dot8
710 Bytes
custom_example_variant_a_n-10_ref.dot9
1.0 kB
custom_example_variant_a_n-10_ref_mono_sdout.txt
1.5 kB
custom_example_variant_a_n-15_ref_mono_sdout.txt
1.5 kB
custom_example_variant_a_n-20_ref_mono_sdout.txt
1.5 kB
custom_example_variant_a_n-25_ref_mono_sdout.txt
1.5 kB
custom_example_variant_a_n-2_ref.dot0
306 Bytes
custom_example_variant_a_n-2_ref.dot1
236 Bytes
custom_example_variant_a_n-2_ref.dot2
150 Bytes
custom_example_variant_a_n-2_ref.dot3
236 Bytes
custom_example_variant_a_n-2_ref.dot4
306 Bytes
custom_example_variant_a_n-2_ref.dot5
306 Bytes
custom_example_variant_a_n-2_ref.dot6
306 Bytes
custom_example_variant_a_n-2_ref_mono_sdout.txt
3.0 kB
custom_example_variant_a_n-3_ref.dot0
326 Bytes
custom_example_variant_a_n-3_ref.dot1
404 Bytes
custom_example_variant_a_n-3_ref.dot2
404 Bytes
custom_example_variant_a_n-3_ref.dot3
236 Bytes
custom_example_variant_a_n-3_ref.dot4
404 Bytes
custom_example_variant_a_n-3_ref.dot5
404 Bytes
custom_example_variant_a_n-3_ref.dot6
404 Bytes
custom_example_variant_a_n-3_ref.dot7
404 Bytes
custom_example_variant_a_n-3_ref.dot8
404 Bytes
custom_example_variant_a_n-3_ref.dot9
326 Bytes
custom_example_variant_a_n-3_ref_mono_sdout.txt
4.4 kB
custom_example_variant_a_n-8_ref.dot0
882 Bytes
custom_example_variant_a_n-8_ref.dot1
882 Bytes
custom_example_variant_a_n-8_ref.dot2
882 Bytes
custom_example_variant_a_n-8_ref.dot3
616 Bytes
custom_example_variant_a_n-8_ref.dot4
804 Bytes
custom_example_variant_a_n-8_ref.dot5
804 Bytes
custom_example_variant_a_n-8_ref.dot6
804 Bytes
custom_example_variant_a_n-8_ref.dot7
616 Bytes
custom_example_variant_a_n-8_ref.dot8
882 Bytes
custom_example_variant_a_n-8_ref.dot9
882 Bytes
custom_example_variant_a_n-8_ref_mono_sdout.txt
101.7 kB
custom_example_variant_b_n-10_ref.dot0
136 Bytes
custom_example_variant_b_n-10_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-15_ref.dot0
136 Bytes
custom_example_variant_b_n-15_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-20_ref.dot0
136 Bytes
custom_example_variant_b_n-20_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-25_ref.dot0
136 Bytes
custom_example_variant_b_n-25_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-2_ref.dot0
136 Bytes
custom_example_variant_b_n-2_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-3_ref.dot0
136 Bytes
custom_example_variant_b_n-3_ref_mono_sdout.txt
1.7 kB
custom_example_variant_b_n-8_ref.dot0
136 Bytes
custom_example_variant_b_n-8_ref_mono_sdout.txt
1.7 kB
custom_example_variant_c_n-10_ref.dot0
986 Bytes
custom_example_variant_c_n-10_ref.dot1
986 Bytes
custom_example_variant_c_n-10_ref.dot2
1.1 kB
custom_example_variant_c_n-10_ref.dot3
884 Bytes
custom_example_variant_c_n-10_ref.dot4
986 Bytes
custom_example_variant_c_n-10_ref.dot5
986 Bytes
custom_example_variant_c_n-10_ref.dot6
986 Bytes
custom_example_variant_c_n-10_ref.dot7
1.1 kB
custom_example_variant_c_n-10_ref.dot8
1.1 kB
custom_example_variant_c_n-10_ref.dot9
1.1 kB
custom_example_variant_c_n-10_ref_mono_sdout.txt
1.5 kB
custom_example_variant_c_n-15_ref.dot0
1.6 kB
custom_example_variant_c_n-15_ref.dot1
1.4 kB
custom_example_variant_c_n-15_ref.dot2
1.1 kB
custom_example_variant_c_n-15_ref.dot3
1.6 kB
custom_example_variant_c_n-15_ref.dot4
1.6 kB
custom_example_variant_c_n-15_ref.dot5
1.6 kB
custom_example_variant_c_n-15_ref.dot6
1.6 kB
custom_example_variant_c_n-15_ref.dot7
1.1 kB
custom_example_variant_c_n-15_ref.dot8
807 Bytes
custom_example_variant_c_n-15_ref.dot9
1.4 kB
custom_example_variant_c_n-15_ref_mono_sdout.txt
9.6 MB
custom_example_variant_c_n-20_ref_mono_sdout.txt
1.5 kB
custom_example_variant_c_n-25_ref_mono_sdout.txt
1.5 kB
custom_example_variant_c_n-2_ref.dot0
296 Bytes
custom_example_variant_c_n-2_ref.dot1
296 Bytes
custom_example_variant_c_n-2_ref.dot2
222 Bytes
custom_example_variant_c_n-2_ref_mono_sdout.txt
2.2 kB
custom_example_variant_c_n-3_ref.dot0
312 Bytes
custom_example_variant_c_n-3_ref.dot1
390 Bytes
custom_example_variant_c_n-3_ref.dot2
390 Bytes
custom_example_variant_c_n-3_ref.dot3
390 Bytes
custom_example_variant_c_n-3_ref.dot4
222 Bytes
custom_example_variant_c_n-3_ref.dot5
312 Bytes
custom_example_variant_c_n-3_ref.dot6
390 Bytes
custom_example_variant_c_n-3_ref_mono_sdout.txt
3.0 kB
custom_example_variant_c_n-8_ref.dot0
696 Bytes
custom_example_variant_c_n-8_ref.dot1
868 Bytes
custom_example_variant_c_n-8_ref.dot2
868 Bytes
custom_example_variant_c_n-8_ref.dot3
868 Bytes
custom_example_variant_c_n-8_ref.dot4
868 Bytes
custom_example_variant_c_n-8_ref.dot5
868 Bytes
custom_example_variant_c_n-8_ref.dot6
868 Bytes
custom_example_variant_c_n-8_ref.dot7
602 Bytes
custom_example_variant_c_n-8_ref.dot8
868 Bytes
custom_example_variant_c_n-8_ref.dot9
868 Bytes
custom_example_variant_c_n-8_ref_mono_sdout.txt
52.0 kB
custom_example_variant_d_n-10_ref.dot0
208 Bytes
custom_example_variant_d_n-10_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-15_ref.dot0
208 Bytes
custom_example_variant_d_n-15_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-20_ref.dot0
208 Bytes
custom_example_variant_d_n-20_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-25_ref.dot0
208 Bytes
custom_example_variant_d_n-25_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-2_ref.dot0
208 Bytes
custom_example_variant_d_n-2_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-3_ref.dot0
208 Bytes
custom_example_variant_d_n-3_ref_mono_sdout.txt
1.7 kB
custom_example_variant_d_n-8_ref.dot0
208 Bytes
custom_example_variant_d_n-8_ref_mono_sdout.txt
1.7 kB
custom_extra_run
collapsed
custom_example_variant_a_n-50_collapsed.dot0
180 Bytes
custom_example_variant_a_n-50_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_b_n-50_collapsed.dot0
136 Bytes
custom_example_variant_b_n-50_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-10_collapsed.dot0
248 Bytes
custom_example_variant_c_n-10_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-15_collapsed.dot0
248 Bytes
custom_example_variant_c_n-15_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-50_collapsed.dot0
248 Bytes
custom_example_variant_c_n-50_collapsed_mono_sdout.txt
1.8 kB
custom_example_variant_d_n-50_collapsed.dot0
204 Bytes
custom_example_variant_d_n-50_collapsed_mono_sdout.txt
1.8 kB
reference
custom_example_variant_a_n-50_ref_mono_sdout.txt
1.5 kB
custom_example_variant_b_n-50_ref.dot0
136 Bytes
custom_example_variant_b_n-50_ref_mono_sdout.txt
1.8 kB
custom_example_variant_c_n-10_ref.dot0
1.1 kB
custom_example_variant_c_n-10_ref.dot1
986 Bytes
custom_example_variant_c_n-10_ref.dot2
790 Bytes
custom_example_variant_c_n-10_ref.dot3
790 Bytes
custom_example_variant_c_n-10_ref.dot4
884 Bytes
custom_example_variant_c_n-10_ref.dot5
986 Bytes
custom_example_variant_c_n-10_ref.dot6
1.1 kB
custom_example_variant_c_n-10_ref.dot7
1.1 kB
custom_example_variant_c_n-10_ref.dot8
986 Bytes
custom_example_variant_c_n-10_ref.dot9
884 Bytes
custom_example_variant_c_n-10_ref_mono_sdout.txt
231.0 kB
custom_example_variant_c_n-15_ref.dot0
1.6 kB
custom_example_variant_c_n-15_ref.dot1
1.5 kB
custom_example_variant_c_n-15_ref.dot2
1.6 kB
custom_example_variant_c_n-15_ref.dot3
1.5 kB
custom_example_variant_c_n-15_ref.dot4
1.6 kB
custom_example_variant_c_n-15_ref.dot5
1.6 kB
custom_example_variant_c_n-15_ref.dot6
1.6 kB
custom_example_variant_c_n-15_ref.dot7
807 Bytes
custom_example_variant_c_n-15_ref.dot8
1.6 kB
custom_example_variant_c_n-15_ref.dot9
1.5 kB
custom_example_variant_c_n-15_ref_mono_sdout.txt
9.6 MB
custom_example_variant_c_n-50_ref_mono_sdout.txt
1.5 kB
custom_example_variant_d_n-50_ref.dot0
208 Bytes
custom_example_variant_d_n-50_ref_mono_sdout.txt
1.8 kB
mono_paper
brp_MAX-2_N-16_collapsed.dot0
4.4 kB
brp_MAX-2_N-16_collapsed_mono_sdout.txt
1.8 kB
brp_MAX-2_N-16_ref.dot0
4.4 kB
brp_MAX-2_N-16_ref_mono_sdout.txt
1.7 kB
brp_MAX-2_N-32_collapsed.dot0
9.1 kB
brp_MAX-2_N-32_collapsed_mono_sdout.txt
1.8 kB
brp_MAX-2_N-32_ref.dot0
9.1 kB
brp_MAX-2_N-32_ref_mono_sdout.txt
1.7 kB
brp_MAX-2_N-4_collapsed.dot0
1.1 kB
brp_MAX-2_N-4_collapsed_mono_sdout.txt
1.7 kB
brp_MAX-2_N-4_ref.dot0
1.1 kB
brp_MAX-2_N-4_ref_mono_sdout.txt
1.7 kB
brp_MAX-4_N-16_collapsed.dot0
7.5 kB
brp_MAX-4_N-16_collapsed_mono_sdout.txt
1.8 kB
brp_MAX-4_N-16_ref.dot0
7.5 kB
brp_MAX-4_N-16_ref_mono_sdout.txt
1.7 kB
brp_MAX-4_N-32_collapsed.dot0
15.5 kB
brp_MAX-4_N-32_collapsed_mono_sdout.txt
1.8 kB
brp_MAX-4_N-32_ref.dot0
15.5 kB
brp_MAX-4_N-32_ref_mono_sdout.txt
1.7 kB
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot0
793 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot1
776 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot2
782 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot3
666 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot4
866 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot5
803 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot6
856 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot7
838 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot8
786 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed.dot9
770 Bytes
crowds_CrowdSize-5_TotalRuns-3_collapsed_mono_sdout.txt
1.8 MB
crowds_CrowdSize-5_TotalRuns-3_ref.dot0
843 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot1
868 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot2
894 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot3
918 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot4
872 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot5
882 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot6
868 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot7
855 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot8
823 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref.dot9
788 Bytes
crowds_CrowdSize-5_TotalRuns-3_ref_mono_sdout.txt
1.8 MB
crowds_CrowdSize-5_TotalRuns-6_collapsed_mono_sdout.txt
1.5 kB
crowds_CrowdSize-5_TotalRuns-6_ref_mono_sdout.txt
1.5 kB
tool_output_NWR2
custom_example.zip
2.3 MB
custom_example_big.zip
58.5 MB
custom_example_extremely_big.zip
77.2 MB
custom_example_very_big.zip
70.6 MB
lifting_paper_adjusted.zip
13.3 MB
mono_paper_adjusted.zip
10.3 MB
shell_scripts_NWR2
render_custom_example_n8.sh
596 Bytes
render_mdp_to_dot.sh
1.2 kB
run_all.sh
2.5 kB
run_experiment_for_index_in_benchmark.sh
1.5 kB
shell_scripts_for_storm_docker
compute_solution_function_for_models.sh
1.3 kB
run_models_with_lifting.sh
1.4 kB
run_models_with_mono.sh
1.5 kB
stage0_A_unfold_benchmark.sh
1.6 kB
stage0_B_bucket_benchmarks.sh
754 Bytes
stage0_C_copy_benchmark_to_experiment_folder.sh
1.2 kB
stage1_convert_to_explicit.sh
1.3 kB
stage2_add_final_state.sh
1.2 kB
stage3_convert_to_simple.sh
1.2 kB
stage4_collapse_extremal.sh
1.3 kB
stage5_collapse_pmc_nwr.sh
1.2 kB
stage6_A_reference_simple_to_prism.sh
1.2 kB
stage6_B_collapsed_simple_to_prism.sh
1.3 kB
stage7_merge_ref_collapsed.sh
2.4 kB
shell_scripts_atva2023
generate_all_reports.sh
98 Bytes
pull_storm_image.sh
51 Bytes
render_mdp_to_dot.sh
1.2 kB
run_collapse_only.sh
264 Bytes
run_experiment_for_index_in_benchmark.sh
1.7 kB
run_markov_chains.sh
263 Bytes
run_normal.sh
1.1 kB
stage0_A_unfold_benchmark.sh
1.8 kB
stage0_B_bucket_benchmarks.sh
734 Bytes
stage0_C_copy_benchmark_to_experiment_folder.sh
846 Bytes
stage1_convert_to_explicit.sh
1.4 kB
stage2_add_final_state.sh
1.3 kB
stage3_convert_to_simple.sh
1.3 kB
stage4_collapse_extremal.sh
1.4 kB
stage5_collapse_mec.sh
1.4 kB
stage6_reduce_nwr.sh
1.8 kB
stage7_collect_metadata.sh
1.6 kB
stage8_generate_report.sh
996 Bytes
tests
__init__.py
0 Bytes
conftest.py
8.9 kB
format_conversion
__init__.py
1.2 kB
test_add_final_state_to_explicit_format.py
8.1 kB
test_compact_model_index.py
9.6 kB
test_convert_explicit_to_simple.py
9.2 kB
test_convert_to_explicit.py
28.4 kB
test_model_index.py
6.5 kB
inference_rules
__init__.py
1.2 kB
test_almost_surely_reach.py
8.7 kB
test_fixpoint_essential_covers_old_essential.py
4.3 kB
test_fixpoint_non_trivial_1.py
10.9 kB
test_fixpoint_trivial.py
5.3 kB
test_union_rule.py
13.6 kB
nwr_2
__init__.py
0 Bytes
test_files_nwr_2
expected
mc_equiv_collapse_nwr_triv_param_expected.json
1.2 kB
mc_equiv_collapse_param_expected.json
171 Bytes
test_markov_chain_flag_expected.json
3.0 kB
test_pmdp_deserialise_happy_expected.json
2.9 kB
test_identical_distributions.py
4.3 kB
test_inputs
markov_chain_1_no_mc_flag.json
914 Bytes
markov_chain_2_with_mc_flag_false.json
937 Bytes
markov_chain_3_with_mc_flag_true.json
935 Bytes
mdp_1_no_mc_flag.json
1.5 kB
mdp_2_mc_flag_false.json
1.5 kB
mdp_3_mc_flag_true.json
1.5 kB
param_mc_collapse_test_1.json
2.5 kB
pmdp_1_has_params_true.json
1.7 kB
pmdp_2_has_params_false.json
1.7 kB
pmdp_3_has_params_default_1.json
1.6 kB
pmdp_4_has_params_default_2.json
1.3 kB
test_shrisha_1_input.json
1.9 kB
test_shrisha_2_pmc.json
5.3 kB
test_markov_chain_deserialise.py
15.8 kB
test_markov_chain_extremal_collapse_param.py
6.6 kB
test_markov_chain_nwr_equiv_collapse_param.py
6.8 kB
test_markov_chain_nwr_equiv_collapse_triv_param.py
6.9 kB
test_markov_chain_param_collapse.py
5.6 kB
test_markov_chain_serialise.py
0 Bytes
test_pmdp_deserialise_happy.py
15.8 kB
test_pmdp_serialise_happy.py
4.1 kB
test_essential.py
8.4 kB
test_extremal_and_mec_collapse.py
5.8 kB
test_extremal_collapse.py
5.7 kB
test_extremal_find.py
6.4 kB
test_files
compact_model_index
compact_model_index_exception_empty_final_state_set.json
1.5 kB
compact_model_index_exception_inconsistent_param_sets.json
1.3 kB
compact_model_index_exception_no_final_state_sets.json
1.3 kB
compact_model_index_exception_no_param_sets.json
1.4 kB
compact_model_index_happy_multiple_entries.json
2.9 kB
compact_model_index_happy_multiple_entries_compiled_expected.json
6.9 kB
compact_model_index_happy_no_entries.json
27 Bytes
compact_model_index_happy_no_entries_compiled_expected.json
26 Bytes
compact_model_index_happy_one_entry.json
1.2 kB
compact_model_index_happy_one_entry_compiled_expected.json
3.5 kB
equiv_collapse
test_mdp_1.json
1.9 kB
test_mdp_2.json
1.0 kB
test_mdp_3.json
1.8 kB
test_mdp_4.json
3.7 kB
test_mdp_5.json
1.8 kB
model_index
model_index_exception_empty_final_state_list_1.json
608 Bytes
model_index_exception_empty_final_state_list_2.json
722 Bytes
model_index_exception_expected.json
2.9 kB
model_index_exception_invalid_key_1.json
746 Bytes
model_index_exception_invalid_key_2.json
794 Bytes
model_index_exception_invalid_key_3.json
765 Bytes
model_index_exception_invalid_type_filename_1.json
684 Bytes
model_index_exception_invalid_type_filename_2.json
719 Bytes
model_index_exception_invalid_type_final_state_labels_1.json
705 Bytes
model_index_exception_invalid_type_final_state_labels_2.json
750 Bytes
model_index_exception_invalid_type_metadata_1.json
856 Bytes
model_index_exception_invalid_type_metadata_2.json
775 Bytes
model_index_exception_invalid_type_params_1.json
884 Bytes
model_index_exception_invalid_type_params_2.json
748 Bytes
model_index_exception_missing_filename_1.json
660 Bytes
model_index_exception_missing_filename_2.json
650 Bytes
model_index_exception_missing_final_states_1.json
571 Bytes
model_index_exception_missing_final_states_2.json
675 Bytes
model_index_happy_input.json
956 Bytes
model_index_happy_to_dict_empty.json
20 Bytes
model_index_happy_to_dict_multiple_entries.json
1.4 kB
model_index_happy_to_dict_one_entry.json
490 Bytes
storm_explicit_add_final
scenario_one_input_happy.json
3.2 kB
scenario_one_output_happy.json
3.4 kB
scenario_two_input_error.json
3.2 kB
storm_explicit_to_simple_converter_test
final_states_example_1_expected.json
954 Bytes
final_states_example_1_explicit.json
1.7 kB
final_states_example_1_final_expected.json
960 Bytes
final_states_example_1_no_label_matches_expected.json
954 Bytes
final_states_example_1_some_label_expected.json
989 Bytes
multi_state_multi_action_multi_successor_explicit.json
2.3 kB
multi_state_multi_action_multi_successor_simple_expected.json
1.6 kB
multi_state_multi_action_one_successor_explicit.json
1.4 kB
multi_state_multi_action_one_successor_simple_expected.json
743 Bytes
multi_state_no_action_explicit.json
190 Bytes
multi_state_no_action_simple_expected.json
25 Bytes
multi_state_one_action_multi_successor_explicit.json
921 Bytes
multi_state_one_action_multi_successor_simple_expected.json
640 Bytes
multi_state_one_action_one_successor_explicit.json
917 Bytes
multi_state_one_action_one_successor_simple_expected.json
436 Bytes
one_state_multi_action_one_successor_explicit.json
585 Bytes
one_state_multi_action_one_successor_simple_expected.json
336 Bytes
one_state_no_action_explicit.json
48 Bytes
one_state_no_action_simple_expected.json
25 Bytes
one_state_one_action_one_successor_explicit.json
231 Bytes
one_state_one_action_one_successor_simple_expected.json
130 Bytes
zero_states_explicit.json
2 Bytes
zero_states_simple_expected.json
25 Bytes
test_cases
test_extremal_and_mec_collapse_expected.json
1.7 kB
test_extremal_collapse_expected.json
1.4 kB
test_extremal_find_expected.json
2.4 kB
test_mdp_deserialise_happy_expected.json
3.2 kB
test_mdp_prune_choice.json
3.3 kB
test_mec_collapse_expected.json
2.6 kB
test_mec_find_expected.json
7.7 kB
test_reachability.json
897 Bytes
test_reverse_edge_dict_success_expected.json
2.2 kB
test_input_mdp
almost_surely_reach_disconnected_graph.json
1.4 kB
almost_surely_reach_redundant_goals.json
1.1 kB
essential_set_disconnected_never_reaching.json
1.0 kB
essential_set_never_almost_surely_reaching.json
1.2 kB
essential_set_sometimes_almost_surely_reaching.json
1.1 kB
essential_singleton_nontrivial.json
417 Bytes
essential_singleton_trivial_all_nodes_are_essential.json
370 Bytes
extremal_and_mec_collapse_scenario_1_trivial.json
353 Bytes
extremal_and_mec_collapse_scenario_2_complex.json
1.2 kB
extremal_and_mec_collapse_scenario_3_complex.json
1.3 kB
extremal_five_iter_chain.json
1.1 kB
extremal_four_iter_chain.json
854 Bytes
extremal_one_iter_complex.json
1.0 kB
extremal_one_iter_simple_chain.json
678 Bytes
extremal_three_iter_chain.json
639 Bytes
extremal_three_iter_chain_double_connection.json
966 Bytes
extremal_two_iter_complex.json
1.2 kB
inference_almost_surely_reach.json
888 Bytes
inference_as_reach_2.json
443 Bytes
inference_fixpoint_non_trivial_1.json
3.4 kB
inference_fixpoint_trivial.json
727 Bytes
inference_old_essential.json
1.2 kB
inference_old_union_rule.json
1.5 kB
mdp_choice_prune_test_1.json
1.3 kB
mdp_choice_prune_test_2.json
775 Bytes
mdp_choice_prune_test_3.json
1.3 kB
mdp_choice_prune_test_4.json
872 Bytes
mdp_choice_prune_test_5.json
316 Bytes
mdp_choice_prune_test_6.json
413 Bytes
mdp_read_complex.json
1.0 kB
mec_get_scc_multiple.json
3.8 kB
mec_get_scc_no.json
1.0 kB
mec_get_scc_single.json
1.1 kB
mec_illegal_choices_all_illegal.json
2.1 kB
mec_illegal_choices_no_illegal.json
1.6 kB
mec_illegal_choices_some_illegal.json
1.8 kB
mec_multiple_iterations.json
1.2 kB
mec_simple_1_ashokEtAl.json
1.6 kB
mec_simple_2_ashokEtAl_altered.json
1.6 kB
mec_simple_3.json
877 Bytes
mec_simple_4.json
948 Bytes
under_approx_init_essential.json
2.8 kB
under_approx_init_trivial.json
1.3 kB
test_mdp_collapse_equiv.py
18.9 kB
test_mdp_deserialise_exception.py
2.1 kB
test_mdp_deserialise_happy.py
15.3 kB
test_mdp_exception.py
1.5 kB
test_mdp_happy.py
17.0 kB
test_mdp_prune_choice.py
6.5 kB
test_mdp_serialise.py
3.0 kB
test_mec_collapse.py
5.2 kB
test_mec_find.py
12.6 kB
test_reachability_almost_sure.py
11.0 kB
test_reachability_helper_functions.py
4.6 kB
test_reachability_may_reach.py
11.3 kB
test_under_approx_equiv_class.py
15.1 kB
test_under_approx_graph.py
52.6 kB
test_under_approx_init.py
20.2 kB