Commits · master · Patrolling Group / Multi-agent Steady State Synthesis

Browse files

Jan 23, 2025
- Add some details into README. · 741db84a
  Martin Jonáš authored Jan 23, 2025
  
  View commits for tag ijcai2025 ijcai2025
  741db84a
- Fix imports when calling the scripts without venv. · 15aa2755
  Martin Jonáš authored Jan 23, 2025
  15aa2755
- Improve makefile. · bf8525ae
  Martin Jonáš authored Jan 23, 2025
  
  bf8525ae
- Also measure walltimes. · 4b800b78
  Martin Jonáš authored Jan 23, 2025
  
  4b800b78
- Add README.md to experiments. · d35b27f0
  Martin Jonáš authored Jan 23, 2025
  
  d35b27f0
- Better analysis of results. · 5345965b
  Martin Jonáš authored Jan 23, 2025
  
  5345965b
Jan 21, 2025
- Fix tests. · 4de25017
  Martin Jonáš authored Jan 21, 2025
  
  4de25017
Jan 17, 2025
- Fix label. · b8576c89
  Martin Jonáš authored Jan 17, 2025
  
  b8576c89
- Add more graphs. · 6a4770e5
  Martin Jonáš authored Jan 17, 2025
  
  6a4770e5
- Add new results and some plots. · c398f928
  Martin Jonáš authored Jan 17, 2025
  
  c398f928
- Generate benchmarks with more colors. · 974dc725
  Martin Jonáš authored Jan 17, 2025
  
  974dc725
Jan 16, 2025
- Rename runner for periodic benchmarks. · 2f4abba1
  Martin Jonáš authored Jan 16, 2025
  
  2f4abba1
- Add scripts for running the experiments. · 98d0d209
  Martin Jonáš authored Jan 16, 2025
  
  98d0d209
- Add forgotten data_export module. · 804c54c3
  Martin Jonáš authored Jan 16, 2025
  
  804c54c3
- Add script for data analysis. · ea6b645c
  Martin Jonáš authored Jan 16, 2025
  
  ea6b645c
- Generate different periodic and aperiodic graphs. · 2ec67556
  Martin Jonáš authored Jan 16, 2025
  
  2ec67556
- Add collection of data. · 4278ff95
  Martin Jonáš authored Jan 16, 2025
  
  4278ff95
- Add results to gitignore. · 43d415c9
  Martin Jonáš authored Jan 16, 2025
  
  43d415c9
- Save some statistics during run. · 859d6f0e
  Martin Jonáš authored Jan 16, 2025
  
  859d6f0e
- Generate random objectives with more non-singleton colors. · 8cdc69ff
  Martin Jonáš authored Jan 16, 2025
  
  8cdc69ff
Jan 15, 2025
- Make baseline faster. · bc7d8dc8
  Martin Jonáš authored Jan 15, 2025
  
  bc7d8dc8
Jan 14, 2025
- Generate objectives with random target threshold. · 6270f48a
  Martin Jonáš authored Jan 14, 2025
  
  6270f48a
- Add weighted version of minimal contribution objective function. · 01f606eb
  Martin Jonáš authored Jan 14, 2025
  
  01f606eb
- Use different objective function for copy and greedy algorithms. · d9f5e3f0
  Martin Jonáš authored Jan 14, 2025
  
  d9f5e3f0
Jan 13, 2025
- Draft baseline algorithm. · 8d262cbc
  Martin Jonáš authored Jan 13, 2025
  
  8d262cbc
- Merge branch 'graph_generation' into 'master' · 84f20dc5
  Martin Jonáš authored Jan 13, 2025
  84f20dc5
- Graph generation · 03fa98f7
  Martin Jonáš authored Jan 13, 2025
  
  03fa98f7
- Merge branch 'periodic-evaluation' into 'master' · 04c3592b
  Martin Jonáš authored Jan 13, 2025
  04c3592b
Jan 12, 2025
- More manual formatting fixes. · 431993a1
  Martin Jonáš authored Jan 12, 2025
  
  431993a1
- Apply automatic formatting. · 5bf4d7b9
  Martin Jonáš authored Jan 12, 2025
  
  5bf4d7b9
- Apply automatic ruff fixes. · bf81dc3d
  Martin Jonáš authored Jan 12, 2025
  
  bf81dc3d
Jan 11, 2025
- Test on aperiodic star · 9997d78f
  Vojtěch Kůr authored Jan 11, 2025
  
  9997d78f
- Test strategy synthesis · 8efb3c7d
  Vojtěch Kůr authored Jan 11, 2025
  
  8efb3c7d
- Add periodic solver · 8464b6ca
  Vojtěch Kůr authored Jan 11, 2025
  
  8464b6ca
- Test strategy evaluator · 94227537
  Vojtěch Kůr authored Jan 11, 2025
  
  94227537
- Add check on sum to strategy · 8b3371fe
  Vojtěch Kůr authored Jan 11, 2025
  
  8b3371fe
Jan 10, 2025
- Add cycle test · 40f83701
  Vojtěch Kůr authored Jan 10, 2025
  
  40f83701
- Add relative imports · 280116bc
  Vojtěch Kůr authored Jan 10, 2025
  
  280116bc
- Use StrategyValue object · 3b74d97f
  Vojtěch Kůr authored Jan 10, 2025
  
  3b74d97f
- Add color cc nodes object · 6e65f403
  Vojtěch Kůr authored Jan 10, 2025
  
  6e65f403