Code

SMG abstraction for families of MDPs#52

Code

Merged

randriu merged 2 commits intomasterrandriu/synthesis:masterfrom smg-abstractionrandriu/synthesis:smg-abstractionCopy head branch name to clipboardNov 25, 2024

+574-439

Commits

Commits on Nov 22, 2024

• SMG abstraction for families of MDPs

  

  Roman Andriushchenko

  committed
  5f13de7

Commits on Nov 25, 2024

• fix payntbind method names

  

  Roman Andriushchenko

  committed
  3aa98e2