Code

Dec-POMDP support added#42

Code

Merged

TheGreatfpmK merged 108 commits intorandriu:masterrandriu/synthesis:masterfrom TheGreatfpmK:dec-pomdpTheGreatfpmK/synthesis:dec-pomdpCopy head branch name to clipboardJun 20, 2024

+94,475-89

Commits

Commits on Jan 8, 2024

• added alias-paynt

  

  vojtavojta

  committed
  2266633

• add memory

  

  vojtavojta

  committed
  da559fb

• build state space

  

  vojtavojta

  committed
  61800d1

Commits on Jan 9, 2024

• simplify constructQuotientMdp

  

  vojtavojta

  committed
  a36ddd6

• add count successors

  

  vojtavojta

  committed
  d64fab2

• change prints

  

  vojtavojta

  committed
  ba52d67

• change discount factor

  

  vojtavojta

  committed
  b27d7ef

• fix build state space

  

  vojtavojta

  committed
  aa46e67

• add max_successor_memory_size and fix global memory set

  

  vojtavojta

  committed
  5953bc8

• add buildTransitionMatrixSpurious

  

  vojtavojta

  committed
  e61caa6

• add constructQuotientStateLabeling

  

  vojtavojta

  committed
  bbb471d

Commits on Jan 10, 2024

• fix prototype row index

  

  vojtavojta

  committed
  121ced7

Commits on Jan 13, 2024

• fix row prototype

  

  vojtavojta

  committed
  4adcca1

• add choice labeling

  

  vojtavojta

  committed
  4304976

• fix row prototype

  Show description for b3823f8
  

  vojtavojta

  committed
  b3823f8

• fix constructing choice labeling

  

  vojtavojta

  committed
  781da98

Commits on Jan 14, 2024

• construct transition matrix

  

  vojtavojta

  committed
  e2f9272

• fix transition matrix and add reward model

  

  vojtavojta

  committed
  6384a73

Commits on Jan 16, 2024

• add supporting functions to coloring

  vojtavojta

  committed
  19938e3

• add reset design space

  vojtavojta

  committed
  76ae008

• add nr_agent_actions_at_observation to cpp

  vojtavojta

  committed
  8875ca9

• add holes in cpp

  vojtavojta

  committed
  6c2b49f

Commits on Jan 17, 2024

• fix row prototype

  vojtavojta

  committed
  df404e9

• fix row prototype again

  vojtavojta

  committed
  5e4bd9f

• unfinished version of buildDesignSpaceSpurious

  

  vojtavojta

  committed
  45bc948

• add buildDesignSpaceSpurious

  

  vojtavojta

  committed
  117e0f2

Commits on Jan 18, 2024

• set memory

  

  vojtavojta

  committed
  6459eff

Commits on Jan 25, 2024

• error coloring

  vojtavojta

  committed
  022b42b

Commits on Feb 4, 2024

• number of rows does not match state count.

  Show description for 059d5d1
  vojtavojta

  committed
  059d5d1

Commits on Feb 5, 2024

• add basic model

  vojtavojta

  committed
  8c2aa5f

Commits on Feb 6, 2024

• -

  vojtavojta

  committed
  9555da6

• change for cycle in coloring

  vojtavojta

  committed
  1b295db

• mem fixed

  vojtavojta

  committed
  12640d6

Commits on Feb 7, 2024

• add agent_max_successor_memory_size

  vojtavojta

  committed
  d199c77

• fix creating memory holes

  vojtavojta

  committed
  8985e31

• Merge branch 'fixmem'

  vojtavojta

  committed
  84fa4cc

• fixed coloring

  vojtavojta

  committed
  c9370ee

• changed discount in dectiger

  vojtavojta

  committed
  68bb727

Commits on Feb 8, 2024

• delete prints

  vojtavojta

  committed
  7c3b69e

• removed prints

  vojtavojta

  committed
  5c395ef

Commits on Feb 9, 2024

• coloring run with fixed memory

  vojtavojta

  committed
  0f10c21

Commits on Feb 13, 2024

• add models

  vojtavojta

  committed
  b95bc58

Commits on Feb 19, 2024

• remove discounted conditions

  vojtavojta

  committed
  d78c633

Commits on Feb 21, 2024

• added decpomdp models

  

  vojtavojta

  committed
  40f92dd

• added experiment

  

  vojtavojta

  committed
  608efa8

Commits on Feb 26, 2024

• added experiments

  

  vojtavojta

  committed
  f9c5cdd

Commits on Mar 3, 2024

• new split method

  vojtavojta

  committed
  451eb9d

• added made_memory_joint_observation()

  vojtavojta

  committed
  30cb27b

Commits on Mar 4, 2024

• added construct_acton_to_memory_joint_observation

  vojtavojta

  committed
  b5d9104

Commits on Mar 5, 2024

• changes in scheduler_selection

  vojtavojta

  committed
  d5ba908

• complete acton_to_memory_joint_observation

  vojtavojta

  committed
  5fb26ce

• prefers inconsistency of the second type

  vojtavojta

  committed
  7315835

Commits on Mar 9, 2024

• removed prints

  vojtavojta

  committed
  22d096f

Commits on Mar 10, 2024

• added state_to_memory_joint_observation and alternative function

  vojtavojta

  committed
  03c7869

• added nr_memory_joint_observations

  vojtavojta

  committed
  bc470ed

Commits on Mar 11, 2024

• added alternativeComputeInconsistentHoleVariance

  vojtavojta

  committed
  5bc3316

• score prefer inconsistency of 1 type

  vojtavojta

  committed
  c91a4f7

• fixed prefer 1st type

  vojtavojta

  committed
  d0f3db1

• fixed prefer 1st type

  vojtavojta

  committed
  5c68448

Commits on Mar 15, 2024

• add models

  

  vojtavojta

  committed
  3096530

• Merge branch 'spliting'

  

  vojtavojta

  committed
  0da89bc

• added possibility to don't use discount transformation

  

  vojtavojta

  committed
  3bf7597

• added direct setting of target states

  

  vojtavojta

  committed
  67393d8

Commits on Mar 16, 2024

• fixed direct setting of target states

  

  vojtavojta

  committed
  3de00c8

• added setting of target states from file

  

  vojtavojta

  committed
  d8973d0

• added setting of props from file

  vojtavojta

  committed
  4d70b3f

Commits on Apr 6, 2024

• added infinite models

  vojtavojta

  committed
  46b4ad2

Commits on Apr 11, 2024

• added models

  vojtavojta

  committed
  214f588

• Merge branch 'infinite-horizon'

  vojtavojta

  committed
  07c241a

• changed circle model

  vojtavojta

  committed
  444a58d

• Merge branch 'reducedFCS'

  vojtavojta

  committed
  b988032

Commits on Apr 13, 2024

• added iterative function

  vojtavojta

  committed
  eba4c36

• Merge branch 'iterative'

  vojtavojta

  committed
  85dd4e7

Commits on May 8, 2024

• added new grid

  vojtavojta

  committed
  26ecec0

• changes in grids ERROR

  vojtavojta

  committed
  612f49f

Commits on May 9, 2024

• change small bug

  vojtavojta

  committed
  f60e746

• Merge branch 'targetbyobservation'

  vojtavojta

  committed
  d092e04

• fix numbers in max succ

  vojtavojta

  committed
  e80fe1f

• Revert "fix numbers in max succ"

  Show description for 3b384b9
  vojtavojta

  committed
  3b384b9

• fixed effectivity of coloring

  vojtavojta

  committed
  c3f0992

• fix 0 in max_mem_size

  vojtavojta

  committed
  bb7878a

• Merge branch 'bugfix'

  vojtavojta

  committed
  852b25a

• added prints

  vojtavojta

  committed
  af34ec5

• added generator of target states

  vojtavojta

  committed
  a5e94b6

• return FSC but not working

  vojtavojta

  committed
  d51362b

Commits on May 10, 2024

• after experiments

  vojtavojta

  committed
  66edebf

• Merge branch 'bugfix'

  vojtavojta

  committed
  f12f775

• addeed coments

  vojtavojta

  committed
  76789e0

• changed agent action labels

  vojtavojta

  committed
  17c1a60

• fixing grid

  vojtavojta

  committed
  4ec3d38

Commits on May 11, 2024

• added coments

  vojtavojta

  committed
  5a2f194

• added universal labels

  vojtavojta

  committed
  2afca9f

• Merge branch 'action_labels'

  vojtavojta

  committed
  9f0bcf0

• +

  vojtavojta

  committed
  1f99716

• added grid target

  vojtavojta

  committed
  1a91993

Commits on May 12, 2024

• working

  vojtavojta

  committed
  d973b9d

• Merge branch 'new_grid'

  vojtavojta

  committed
  f589928

Commits on May 13, 2024

• deleted comments

  vojtavojta

  committed
  cbb6112

Commits on Jun 5, 2024

• Merge remote-tracking branch 'vojta/master' into dec-pomdp

  TheGreatfpmK

  committed
  6e653ba

Commits on Jun 11, 2024

• Added simple iterative strategy for dec-POMDPs; renamed pomdp-memory-size argument to fsc-memory-size

  TheGreatfpmK

  committed
  7677311

Commits on Jun 12, 2024

• Preparing dec-POMDP implementation to support flexible memory update; WORK IN PROGRESS

  TheGreatfpmK

  committed
  30456dd

Commits on Jun 14, 2024

• dec-POMDP WIP

  TheGreatfpmK

  committed
  bc6f5dd

• dec-POMDP implementation WIP

  TheGreatfpmK

  committed
  518fb7d

Commits on Jun 18, 2024

• Finished Dec-POMDP quotient implementation

  TheGreatfpmK

  committed
  6333959

• Merge branch 'randriu:master' into dec-pomdp

  TheGreatfpmK

  authored
  854bed9

Commits on Jun 20, 2024

• Final improvements of the Dec-POMDP code

  TheGreatfpmK

  committed
  c14710e

• updated README

  TheGreatfpmK

  committed
  37432c4

• Merge remote-tracking branch 'origin/master' into dec-pomdp

  TheGreatfpmK

  committed
  6806669