sp
2ae37d0bc9
removed unused function
12 months ago
sp
8d33f43c7e
refactored arbiter for smgs
12 months ago
sp
6cfa9a619b
include agent stuck action for faultyBehaviour
12 months ago
sp
cdd9611f8b
removed viewVariable
12 months ago
sp
6de02b7ab8
moved PrismModulesPrinter methods to private
12 months ago
sp
48dcee2a59
small cleanup
12 months ago
sp
aca9ee719c
removed unused code
12 months ago
sp
ff0369cfb1
added move module as arbiter
12 months ago
sp
9be03f2701
summary commit
This adds:
- slippery turn actions
- agent name to set of actions map
- modules for faultyBehaviour
12 months ago
sp
a8ac3098a7
default formulas to false
This will be changed to remove the unnecessary guards instead
12 months ago
sp
2b7d5bc9a9
removed dead code
12 months ago
sp
c6f7bb27be
added slippery turn actions
12 months ago
sp
8cf91e700c
WIP: changed probabilities in main for testing
12 months ago
sp
ea9d61ddd5
added slippery movement updates
This also:
- adds direction update helpers
- adds probIntended to PrismModulesPrinter
- removes dead code
12 months ago
sp
8c6a2bf327
moved probIntended to Grid members
12 months ago
sp
bb2bef9b04
updates is a vector of update
12 months ago
sp
389963a7c4
added formulas to check where a robot can slip to
12 months ago
sp
48a90f0739
added walls to PrismFormulaPrinter
also renamed methods for surrounding cells to adjacent
12 months ago
sp
47f14bdc23
removed debug output
12 months ago
sp
5bea12f780
create formulas with relative offset for portable objects
12 months ago
sp
14e6375877
faultyProbability is float
12 months ago
sp
13974739d9
commit to (col, row)
12 months ago
sp
3999e778fe
added turn actions for robots
also removed some old methods
12 months ago
sp
7faa8d1efb
added actionId and update typedefs
12 months ago
sp
4d548f9502
first steps towards robots modules
This includes:
- PrismFormulaPrinter.print takes agentName as argument
- added formulas for goals, isnextto, portableobjects
- added movement helper for deterministic movement
- removed enforceOneWays (for now)
12 months ago
sp
26a7808eeb
fix carrying variable
12 months ago
sp
ca70595b58
WIP major rework of PrismModulesPrinter
will probably get squashed, otw summary in later commit
12 months ago
sp
5955bb9791
isNextTo formulas for doors
12 months ago
sp
6f541c1bc2
moved capitalize util to PrismPrinter
12 months ago
sp
8766110068
getType method for cell
12 months ago
sp
1729ba7c56
summary commit
added cells for balls
more formulas in PrismFormulaPrinter
12 months ago
sp
d07807de61
added PrismFormulaPrinter to CMakeLists
12 months ago
sp
b0b9dd61dc
add agent and adv to floor cells
12 months ago
sp
9ea5c0194d
add slip and lava formulas
this also adds a disjunction over all conditional checks
12 months ago
sp
7f8e195412
added methods for formulas with conditions
12 months ago
sp
9f03a14347
init PrismFormulaPrinter
first attempt to enforce DRY for formulas in PrismModulesPrinter
12 months ago
sp
1b81737ce7
add yaml-cpp as dependency
12 months ago
Thomas Knoll
c6cb060448
m2p sticky behavior
12 months ago
Thomas Knoll
401b23fedd
parsing fault prob
12 months ago
Thomas Knoll
aa01214097
added turn propabilty
12 months ago
Thomas Knoll
dfb882edb3
changed propbabilty handling
12 months ago
Thomas Knoll
e0c1807c71
probability changes
1 year ago
Thomas Knoll
55c14a3c23
added view adaptions
1 year ago
Thomas Knoll
0e16bb8e44
some renames
1 year ago
Thomas Knoll
7cdbff0970
added const to config + const prop handling
1 year ago
Thomas Knoll
707d4051f0
changed slippery position, added index in config
1 year ago
33b738a420
minor changes to init struct handling
and adversary handling
1 year ago
4dd5e07d02
added model type inference
1 year ago
e4cddbe9de
init struct handling changs
1 year ago
13f7910dd7
some error handling for config yaml parsing
1 year ago
sp
Thomas Knoll
Thomas Knoll