 Stefan Pranger
|
bb6cd2232f
|
flip bits when passing coalition to shieldhandling
|
4 years ago |
|
Stefan Pranger
|
4746a81b51
|
removed output and check in checkGameFormula
|
4 years ago |
|
Stefan Pranger
|
8304c897cd
|
refactored creation of coalitionStates
|
4 years ago |
|
Stefan Pranger
|
6bd625e4c8
|
removed debug output
also introduced changes to be made as soon as 4fd42356d0 is merged
|
4 years ago |
|
Stefan Pranger
|
789ee27cea
|
added creation of optimal shields to SMG LRA
|
4 years ago |
|
Stefan Pranger
|
05c2111e61
|
statesOfCoalition should be complemented
|
4 years ago |
|
Stefan Pranger
|
53abe31580
|
enabled shield computation for different queries
|
4 years ago |
|
Stefan Pranger
|
1c2f120a76
|
added optimization direction to shields
|
4 years ago |
|
Stefan Pranger
|
2b32f7c043
|
adapted to new shield creation routine
|
4 years ago |
|
Stefan Pranger
|
0f7555a8e0
|
fetch choice values from until vi computation
- added an SMGModelCheckingHelperReturnType
|
4 years ago |
|
Stefan Pranger
|
0c619c097c
|
WIP: init shielding for SMGs
|
4 years ago |
 Lukas Posch
|
489d8a5fd2
|
added bounds to model checker and parse it for probability calculation of bounded globally formulas
|
4 years ago |
|
Lukas Posch
|
5ace260ecb
|
set up SparseSmgRpatlModelChecker for bounded globally
|
4 years ago |
|
Lukas Posch
|
2e27e32622
|
start with next formulae
|
4 years ago |
|
Lukas Posch
|
e7ca4dc0c9
|
start with globally formulae - definitions of methods and functionality (not checked)
|
4 years ago |
|
Lukas Posch
|
2bf6402725
|
implemented until formulae
|
4 years ago |
|
Stefan Pranger
|
72da4ba12e
|
added and finalized methods for rpatlMC
|
4 years ago |
|
Stefan Pranger
|
4c1b0d77f6
|
init rpatl mc and helper
This
- adds a temporary GameViHelper, needs refactoring in the future
- additional methods to rpatlMC and an
- rpatl helper.
|
4 years ago |
|
Stefan Pranger
|
d1f99e0548
|
refactored canHandle check in rpatl model checker
According to/stolen from 6c0cbe622
|
4 years ago |
|
Stefan Pranger
|
c6c5c5cc13
|
smg lra debug commit
this should be dropped in the future
|
4 years ago |
Tim Quatmann
|
d82f5353ad
|
Fixed includes of RPATL model checker.
|
4 years ago |
|
Tim Quatmann
|
6c0cbe622f
|
Polished SparseSmgRpatlModelChecker
|
4 years ago |
|
Stefan Pranger
|
ace401f120
|
added smg rpatl model checker
|
4 years ago |
|
Stefan Pranger
|
ea90c1ac7d
|
added and finalized methods for rpatlMC
|
4 years ago |
|
Stefan Pranger
|
b61d947057
|
parse coalition operator and set row group optdirs
|
4 years ago |
|
Stefan Pranger
|
a299504361
|
added smg rpatl model checker
|
4 years ago |
