Decision tree-based policy synthesis for f-MDPs#65

Draft

laDok8 wants to merge 82 commits intorandriu:masterfrom

Commits on Jan 9, 2025

First version of DtControl integration (still waiting for fix in DtControl)
TheGreatfpmK
committed
Merge remote-tracking branch 'upstream/master' into dt-update
TheGreatfpmK
committed

Commits on Jan 26, 2025

Commits on Jan 27, 2025

Fixed bug with epsilon threshold not being respected
TheGreatfpmK
committed

Commits on Feb 6, 2025

Fixed error when subtree has 0 relevant states
TheGreatfpmK
committed
added option for using number of states as a heuristic for node queue
TheGreatfpmK
committed

Commits on Feb 7, 2025

Commits on Mar 20, 2025

updated schedulers
TheGreatfpmK
committed

Commits on Mar 22, 2025

sanity checks for family split

randriu
authored and
laDok8
committed
remove redundant checks in ColoringSmt::selectCompatibleChoices

randriu
authored and
laDok8
committed
fix policy tree double-check

randriu
authored and
laDok8
committed
possible fix for issue with with build on M1

TheGreatfpmK
authored and
laDok8
committed
test setup and one initial test

TheGreatfpmK
authored and
laDok8
committed
added exact test for add dont care action

TheGreatfpmK
authored and
laDok8
committed
added way to load paynt models for tests; added one example test for PAYNT

TheGreatfpmK
authored and
laDok8
committed
Fixed the memory strategy for SAYNT to correspond to CAV algorithm as there was an issue with performance

TheGreatfpmK
authored and
laDok8
committed
fix different argument types for std::max

randriu
authored and
laDok8
committed
added function that creates SAYNT FSC

TheGreatfpmK
authored and
laDok8
committed
enable DTmap calls for ATVApaynt
laDok8
committed
reduce state space for dtMap
laDok8
committed
rebase fixes for DT irrelevant states
laDok8
committed
fix default value for irrelevant states
laDok8
committed
work on combining policy and decision trees
laDok8
committed
fix policy tree invalid merging
laDok8
committed
add test model
laDok8
committed
update atva models with self loop
laDok8
committed
update for combining policy with decision trees and policy minimization
laDok8
committed
revert redundant changes
laDok8
committed
41&21
laDok8
committed
postprocess granularity update
laDok8
committed
refactor
laDok8
committed
improve policy culling for F-MDP
laDok8
committed
rebase fixes dtNest
laDok8
committed
WIP: local dtControl
laDok8
committed
WIP: ldok previous work works
laDok8
committed
WIP: dtMap invocation from ATVA24 works
laDok8
committed

Commits on Mar 28, 2025

Commits on Mar 29, 2025

Commits on Apr 5, 2025

Commits on Apr 6, 2025

dtNest fixes & model updates
laDok8
committed

Commits on Apr 8, 2025

refactor
laDok8
committed

Commits on Apr 9, 2025

bugfix
laDok8
committed

Commits on Apr 21, 2025

refactor
laDok8
committed

Commits on Apr 22, 2025

update stay action
laDok8
committed

Commits on Apr 24, 2025

Commits on May 6, 2025

improve UX
laDok8
committed

Commits on May 7, 2025

Commits on May 8, 2025