Monitor Verification (ATVA25) and conditional model checking (CAV25)#877

Closed

lukovdm wants to merge 134 commits intostormchecker:masterfrom

lukovdm:verimon

Commits on May 24, 2024

add assertions in a bug hunt
sjunges
committed

Commits on Jun 1, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Jun 4, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Aug 20, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Aug 28, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Sep 4, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Sep 25, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Oct 24, 2024

Verimon product in storm
lukovdm
committed

Commits on Nov 9, 2024

Merge branch 'master' of https://github.com/moves-rwth/storm
sjunges
committed

Commits on Nov 11, 2024

Commits on Nov 12, 2024

Add verimon storm code
lukovdm
committed

Commits on Nov 14, 2024

Add instantiation of observation trace unfolder for intervals
lukovdm
committed

Commits on Nov 17, 2024

Re-implementation of restart method for conditional probabilities for MDPs
tquatmann
committed

Commits on Nov 18, 2024

Working verimon generator
lukovdm
committed

Commits on Nov 20, 2024

Time measurements for conditional probability computation
tquatmann
committed

Commits on Nov 21, 2024

Optimize verimon by removing superfluos actions
lukovdm
committed

Commits on Nov 27, 2024

First version of binary approach
tquatmann
committed

Commits on Nov 28, 2024

Commits on Dec 10, 2024

Merge remote-tracking branch 'origin/master' into imcobservationtraceunfolder
lukovdm
committed

Commits on Dec 13, 2024

format
sjunges
committed

Commits on Jan 14, 2025

Update src/storm-pomdp/transformer/ObservationTraceUnfolder.cpp

sjunges
and
tquatmann
authored

Commits on Jan 16, 2025

updates
lukovdm
committed

Commits on Jan 24, 2025

Commits on Jan 26, 2025

Commits on Jan 27, 2025

policy iteration
tquatmann
committed

Commits on Apr 25, 2025

Commits on May 20, 2025

Commits on May 21, 2025

Commits on May 22, 2025

Commits on May 30, 2025

Merge remote-tracking branch 'origin/master' into conditional
tquatmann
committed

Commits on Jun 16, 2025

fixes for rational interval on gcc
lukovdm
committed

Commits on Jul 4, 2025

Commits on Jul 5, 2025

Commits on Jul 6, 2025

Fix issue in restart method
tquatmann
committed

Commits on Jul 8, 2025

Commits on Jul 9, 2025

Commits on Jul 10, 2025

Commits on Jul 23, 2025

Make interval optimization direction opposite of non-det opt. dir.
lukovdm
committed

Commits on Sep 1, 2025

Commits on Sep 17, 2025

Commits on Oct 13, 2025

Merge branch 'cond-fix' into use-cond-alg-obs-trace-unfolder
lukovdm
committed

Commits on Oct 24, 2025

Merge branch 'master' into verimon
lukovdm
committed

Commits on Nov 5, 2025

Commits on Nov 10, 2025

Commits on Nov 14, 2025

cleaning up unused code
TheGreatfpmK
committed

Commits on Nov 17, 2025

Change trace message bisection
lukovdm
committed

Commits on Nov 19, 2025

Commits on Nov 21, 2025

formatting
lukovdm
committed

Commits on Nov 24, 2025

Merge remote-tracking branch 'luko/conditional-threshold' into verimon
lukovdm
committed

Commits on Nov 28, 2025

wip
lukovdm
committed

Commits on Dec 1, 2025

More
lukovdm
committed

Commits on Dec 2, 2025

don't make scheduler when not requested
lukovdm
committed

Commits on Dec 16, 2025

stuff for the benchmarking
lukovdm
committed

Commits on Dec 22, 2025

remove unused variable which used a lot of memory
lukovdm
committed

Commits on Dec 24, 2025

Commits on Dec 30, 2025

Merge remote-tracking branch 'tim/feature/conditionals' into verimon
lukovdm
committed

Commits on Jan 2, 2026

fix compile problems
lukovdm
committed

Commits on Jan 10, 2026

conditional bisection: Integrated policy tracking approach
tquatmann
committed

Commits on Jan 14, 2026

Merge branch 'feature/conditionals' into verimon
tquatmann
committed

Commits on Jan 15, 2026

Commits on Jan 22, 2026

Fix issue with policy tracking and policy export
tquatmann
committed

Commits on Jan 25, 2026

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Commits on Mar 10, 2026