Skip to content

Actions: plindnercs/storm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
some smaller fixes Check code format #58: Commit cfd846a pushed by plindnercs
24s feature/bisim
feature/bisim
24s
some smaller fixes Check code format #57: Commit 9a1b360 pushed by plindnercs
36s feature/bisim
feature/bisim
36s
some smaller fixes Check code format #56: Commit 80b12e9 pushed by plindnercs
27s feature/bisim
feature/bisim
27s
fixed CMakeLists Check code format #55: Commit 79d4538 pushed by plindnercs
23s feature/bisim
feature/bisim
23s
fixed bug regarding row grouping on exporting a perturbed/learned IDTMC Check code format #54: Commit 589d425 pushed by plindnercs
26s feature/bisim
feature/bisim
26s
implemented export of quotient to state map to enable scheduler unfol… Check code format #53: Commit b4f21bc pushed by plindnercs
26s feature/bisim
feature/bisim
26s
fixed formatting Check code format #52: Commit 593662e pushed by plindnercs
30s feature/bisim
feature/bisim
30s
fixed formatting Check code format #51: Commit 9dfa2dc pushed by plindnercs
22s feature/bisim
feature/bisim
22s
small optimizations for epsilon-stable abstraction + distribute allow… Check code format #50: Commit 8f78bca pushed by plindnercs
29s feature/bisim
feature/bisim
29s
made optimization in learning for choices with only one successors Check code format #49: Commit b046a8f pushed by plindnercs
22s feature/bisim
feature/bisim
22s
fixed bug in the implementation of computing the feasible interval to… Check code format #48: Commit e08e129 pushed by plindnercs
23s feature/bisim
feature/bisim
23s
implemented improved bound on Hausdorff distance for epsilon-stablle … Check code format #47: Commit ea315bd pushed by plindnercs
28s feature/bisim
feature/bisim
28s
moved interval helper functions to their own file + added preprocessi… Check code format #46: Commit d157fdd pushed by plindnercs
27s feature/bisim
feature/bisim
27s
changed implementation of epsilon-stable abstraction to compute the i… Check code format #45: Commit 880847e pushed by plindnercs
33s feature/bisim
feature/bisim
33s
adapter exact bisimulation via feasible intervals to support nondeter… Check code format #44: Commit 27c3011 pushed by plindnercs
34s feature/bisim
feature/bisim
34s
extended perturbation to support IMDPs + fixed bug in epsilon-stable … Check code format #43: Commit ec6f0b9 pushed by plindnercs
35s feature/bisim
feature/bisim
35s
generalized implementation of epsilon-stable abstraction to support I… Check code format #42: Commit 8a096ef pushed by plindnercs
30s feature/bisim
feature/bisim
30s
Optimizations and simplifications for step-bounded until probability … Check code format #41: Commit 460383e pushed by tquatmann
26s idtmc-bounded-mc
idtmc-bounded-mc
26s
forgot test file Check code format #40: Commit 1a5be47 pushed by plindnercs
36s feature/bisim
feature/bisim
36s
incorporated feedback of @tquatmann Check code format #39: Commit bd71910 pushed by plindnercs
26s idtmc-bounded-mc
idtmc-bounded-mc
26s
clarified misleading comment Check code format #38: Commit a1b1a02 pushed by plindnercs
34s idtmc-bounded-mc
idtmc-bounded-mc
34s
clarified case distinction further Check code format #37: Commit a53bd69 pushed by plindnercs
24s idtmc-bounded-mc
idtmc-bounded-mc
24s
implemented bounded mc support for IDTMCs + fixed off-by-one error + … Check code format #36: Commit fb66f8d pushed by plindnercs
25s idtmc-bounded-mc
idtmc-bounded-mc
25s
Check filter for ValueType Check code format #35: Commit 4fca999 pushed by plindnercs
25s imc-mc-cli-fix
imc-mc-cli-fix
25s
Merge remote-tracking branch 'upstream/master' into imc-mc-cli-fix Check code format #34: Commit 60bf0cf pushed by plindnercs
24s imc-mc-cli-fix
imc-mc-cli-fix
24s