Add compositional analysis code and example#57

Open

beyazit-y wants to merge 20 commits intomainfrom

compositional-analysis

Commits on Nov 11, 2025

Add compositional analysis code and example
beyazit-y
committed

Commits on Nov 28, 2025

Use expert policy to generate traces if model is not given
beyazit-y
committed

Commits on Nov 29, 2025

Commits on Dec 16, 2025

Add exp script
beyazit-y
committed
Fix exp code
beyazit-y
committed
Fix exp code
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add exp bash script
beyazit-y
committed
Add some results
beyazit
committed
Add some results
beyazit
committed
Lower error bound in exps
beyazit-y
committed
Add new results
beyazit
committed