tempest

6a79986980 introduce bounded globally mc for MDPs tempestpy_adaptions Stefan Pranger 2024-11-05 11:26:16 +0100
0d60b468e1 refactored shield export Stefan Pranger 2024-11-05 11:24:30 +0100
d93d184d5d updated readme Stefan Pranger 2024-09-26 16:23:59 +0200
c9529e6a1e changed maybe states argument Thomas Knoll 2023-09-29 15:52:25 +0200
878670cd4b Merge pull request 'Fixed Incorrect Handling of Choice Values in SparseMdpPrctlHelper' (#57) from bugfix_sparse_mdp_until_shielding into tempestpy_adaptions Stefan Pranger 2023-09-07 13:20:49 +0000
a9f0377948 fixed incorrect handling of choiceValues in helper Stefan Pranger 2023-09-07 15:19:14 +0200
1a1d46ceda fixed tests because of shield export change Thomas Knoll 2023-08-16 15:59:55 +0200
43f8511678 prettified post/pre scheduler json export Thomas Knoll 2023-08-16 15:58:07 +0200
3a3dd67232 removed filename form shield classes Thomas Knoll 2023-08-11 13:57:37 +0200
f4ad399b32 added export shield iosetting Thomas Knoll 2023-08-11 13:08:13 +0200
de2243b095 addded post scheduler json export removed workaround in pre scheduler json Thomas Knoll 2023-08-11 09:00:47 +0200
e001d8dbcb changed json export in pre scheduler Thomas Knoll 2023-08-10 12:51:02 +0200
110b6a3308 added print to json for shields added filename to export shield Thomas Knoll 2023-08-10 08:55:03 +0200
80eaf7c05a refactored shield handling method names Thomas Knoll 2023-08-08 09:48:15 +0200
256cb82157 added functions for querying choice map in shields Thomas Knoll 2023-08-07 16:04:02 +0200
e561545e1a added second get shield Thomas Knoll 2023-08-07 09:46:07 +0200
a38728d683 changed rest of create shield function calls Thomas Knoll 2023-08-04 11:14:09 +0200
83c3a75ecf added create shield for quantitative shield Thomas Knoll 2023-08-04 10:58:08 +0200
021b2036e6 changed print to stream to be pure virtual Thomas Knoll 2023-08-04 10:44:13 +0200
9e9767ceeb changed shield export handling Thomas Knoll 2023-08-04 10:24:44 +0200
8da3234353 Merge pull request 'fix: conversion from unsigned long to uint_64 when using clang' (#51) from bug_conversion_unsignedlong_to_uint64 into main Stefan Pranger 2022-05-13 08:22:48 +0000
7937117e8d Merge pull request 'fix: assign nullptr to default argument on clang' (#50) from bug_assign_nullptr_to_defaultarg into main Stefan Pranger 2022-05-13 08:22:30 +0000
086fa978e6 fix: assign nullptr to default argument on clang Marco Herzl 2022-05-13 10:18:35 +0200
d67579cdb4 fix: conversion from unsigned long to uint_64 when using clang Marco Herzl 2022-05-13 10:16:18 +0200
6f8944f333 Merge pull request 'Reenable Bounded Globally' (#49) from fix_bounded_globally into main Stefan Pranger 2021-11-09 13:44:49 +0000
81b2377bba removed commented line Stefan Pranger 2021-11-09 14:43:50 +0100
91abc29c66 reenabled bounded globally formulas Stefan Pranger 2021-11-03 14:43:06 +0100
037343ba97 Merge pull request 'Refactoring Shields Choices and Scheduler' (#48) from shield_refactoring into main Stefan Pranger 2021-11-09 13:39:57 +0000
50cf8d8e7f updated smg shield tests Stefan Pranger 2021-11-03 13:40:55 +0100
d4ae043601 adapted shield testing output to new changes Stefan Pranger 2021-11-03 12:09:41 +0100
2c22a1e90a fixed some issues with testing Stefan Pranger 2021-11-03 12:09:27 +0100
449d5b31b9 changed some output for shield creation Stefan Pranger 2021-11-03 10:42:29 +0100
4fbd2dd413 SMG LRA can now be used for Optimal Shields Stefan Pranger 2021-11-03 10:42:04 +0100
a88aae44d3 fixed some shield construction calls Stefan Pranger 2021-11-03 10:41:49 +0100
454bffe03f major changes to shield handling Stefan Pranger 2021-11-03 10:39:52 +0100
01335948d4 LraViHelper now also computes all choiceValues Stefan Pranger 2021-09-28 18:31:05 +0200
7f5f6eeee0 adapted to changes for Multiplier::reduce Stefan Pranger 2021-09-28 18:30:43 +0200
e406b00c02 infinite horizon helper now store information Stefan Pranger 2021-09-28 18:29:45 +0200
5bf552a43a multiplier reduce also returns choices Stefan Pranger 2021-09-28 18:27:00 +0200
48d37ccc50 fixed intending Stefan Pranger 2021-09-20 18:53:56 +0200
8c09a4d441 refactored safety shield choices and scheduler Stefan Pranger 2021-09-20 18:36:56 +0200
eb15fccfd2 Merge pull request 'Introducing Unit Tests for SMG Extensions' (#46) from smg_unit_tests into main Stefan Pranger 2021-09-10 12:40:18 +0000
7550934b2e fixed scheduler print after large merge Stefan Pranger 2021-09-10 14:03:18 +0200
4fd16ff45f removed conflict marker Stefan Pranger 2021-09-10 14:03:11 +0200
564cb6b9b1 removed some test cases Stefan Pranger 2021-09-10 14:02:24 +0200
776dd502ac Prism NSG correctly sets player indices of unsynced actions Stefan Pranger 2021-09-10 14:00:55 +0200
d1f81a7c93 adapted reference shields after change in model Stefan Pranger 2021-09-10 13:58:26 +0200
3732cef1ac reintroduced shields to formula parser Stefan Pranger 2021-09-10 13:58:08 +0200
82ffb9b7c0 fixed typo - updateStatesOfCoalition Lukas Posch 2021-09-03 14:46:06 +0200
27bf04ac5b added testcase RobotCircle to SmgRpatlModelCheckerTest.cpp and the test file robotCircle.nm Lukas Posch 2021-09-03 13:35:18 +0200
70947ebee4 changes from default changelist Lukas Posch 2021-09-03 09:52:43 +0200
43b58a65c7 changed path of shielding testfiles Lukas Posch 2021-09-03 09:14:19 +0200
09f0cc36a3 renamed shieldEnding to shieldFiletype Lukas Posch 2021-09-03 08:52:10 +0200
189ff1aae1 removed check - parsing issue Lukas Posch 2021-09-03 08:45:12 +0200
3c78b0b064 renamed file to probabilisticFormula.rpatl - typo Lukas Posch 2021-09-03 08:42:35 +0200
cde5b353cf moved shielding folders testfiles to new directory 'shields' Lukas Posch 2021-09-03 08:41:28 +0200
c74dd841a5 changed GameViHelper::performValueIteration for computing also value iteration with upper bounds Lukas Posch 2021-09-02 14:18:26 +0200
412a74069e Added shield generation test for MDPs ShieldGenerationMdpPrctlModelCheckerTest.cpp and shielding files for comparison of the results Lukas Posch 2021-08-31 09:11:57 +0200
d3b0046fa0 fixed bug in reduce method in Multiplier.cpp for SMGs and MDPs Lukas Posch 2021-08-31 08:34:45 +0200
70c689ff1e fixed bug in SparseNondeterministicStepBoundedHorizonHelper.cpp (use of uint choiceValuesCounter without initialization) Lukas Posch 2021-08-30 10:44:30 +0200
18497b30b0 added line below for postShield files (analogue to preShield files) Lukas Posch 2021-08-27 15:09:12 +0200
4925135f87 added conversion methods for ShieldGenerationSmgRpatlModelCheckerTest.cpp Lukas Posch 2021-08-27 15:07:28 +0200
2ecf7ff138 Added Shield Test to ShieldGenerationSmgRpatlModelCheckerTest.cpp with files to compare Lukas Posch 2021-08-27 15:06:22 +0200
c55e4920b2 WIP created ShieldGenerationSmgRpatlModelCheckerTest.cpp for testing the generation of shielding files for SMGs Lukas Posch 2021-08-27 10:28:05 +0200
4cfbaa3a33 removed shielding tests from SmgRpatlModelCheckerTest.cpp Lukas Posch 2021-08-27 10:26:51 +0200
02464909a4 removed unused method getQualitativeResultAtInitialState Lukas Posch 2021-08-24 15:03:16 +0200
bec28d55c6 added testcase rightDecision (rightDecision.nm) to SmgRpatlModelCheckerTest.cpp Lukas Posch 2021-08-24 15:02:33 +0200
4f4abf2342 added testcase messageHack (messageHack.nm) to SmgRpatlModelCheckerTest.cpp Lukas Posch 2021-08-24 10:34:16 +0200
28f1c9d368 removed DEBUG for multiplier type in SparseSmgRpatlHelper.cpp Lukas Posch 2021-08-23 15:27:08 +0200
d70c733709 removed comments for results in SmgRpatlModelCheckerTest.cpp Lukas Posch 2021-08-23 15:26:34 +0200
229097d848 removed debug output Lukas Posch 2021-08-13 15:46:36 +0200
2064cbb0a9 fix for the NativeMultiplier in case of having coalitionStates (games) Lukas Posch 2021-08-13 15:41:26 +0200
cdc0fd2873 added parser tests for mdp shields MdpShieldingParserTest.cpp Lukas Posch 2021-08-13 11:16:06 +0200
45e660fe9b added parser tests for game shields GameShieldingParserTest.cpp Lukas Posch 2021-08-13 11:08:08 +0200
d86dbcd4e3 removed partial results for formula parsing, added fragment checks for rpatl Lukas Posch 2021-08-13 10:09:11 +0200
5452240944 removed unnecessary testcases (e.g. there are no atomic label formulas in game formulas since they must have a coalition of players and an operator) Lukas Posch 2021-08-13 09:53:04 +0200
567584e285 added MultiObjectiveFormulaTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:33:34 +0200
284a944f63 added WrongFormatTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:28:17 +0200
3f2e636e34 added CommentTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:25:04 +0200
a381618403 added NestedPathFormulaTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:20:16 +0200
4d84b84230 added ConditionalProbabilityTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:18:04 +0200
90568c54a2 added RewardOperatorTest to GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:15:11 +0200
442ffecd13 created NextOperatorTest in GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:04:04 +0200
bc6dabb088 fixed UntilOperatorTest in GameFormulaParserTest.cpp Lukas Posch 2021-08-13 09:03:37 +0200
45319ca2da WIP GameFormulaParserTest.cpp Lukas Posch 2021-08-12 16:18:33 +0200
f1aa210b5a shielding check for FragmentCheckerTest Prctl Lukas Posch 2021-08-12 10:00:44 +0200
d8592bffa2 shielding check for FragmentCheckerTest Rpatl Lukas Posch 2021-08-12 09:56:33 +0200
868f42b38b Bounded LTL formula check for FragmentCheckerTest Rpatl Lukas Posch 2021-08-12 09:43:22 +0200
e1b00dae7a small change in FragmentCheckerTest Rpatl Lukas Posch 2021-08-12 09:42:51 +0200
1b81c009c1 WIP added GameFormulaParserTest.cpp Lukas Posch 2021-08-12 08:22:38 +0200
04dd2b2e92 added a smg to PrismParserTest.cpp Stefan Pranger 2021-09-03 15:19:04 +0200
d14b04fe72 WIP DEBUG message for multiplier type Lukas Posch 2021-08-11 15:29:08 +0200
3a91b266d4 WIP expanded tests, now tests run for X, U, G, F Lukas Posch 2021-08-11 15:07:32 +0200
b49dd59101 WIP added testcases for globally probabilities for SmgRpatlModelCheckerTest "Walker" Lukas Posch 2021-08-11 11:35:33 +0200
d0f85313f3 added probabalisticFormula.rpatl in testfolder for rpatl for future purposes Lukas Posch 2021-08-11 11:33:46 +0200
fdb84fdee5 changed the info about statesOfCoalition to STORM_LOG_INFO Lukas Posch 2021-08-11 09:50:06 +0200
7565bc5d6a created SmgRpatlModelCheckerTest.cpp as test suite for rpatl smg models Lukas Posch 2021-08-10 16:10:19 +0200
a7919a651c added a smg example for checking test-modelchecker-rpatl-smg Lukas Posch 2021-08-10 16:09:14 +0200
3d73e71162 introduced test-modelchecker-rpatl-smg Lukas Posch 2021-08-10 16:08:07 +0200
8d11ed9f42 added first rpatl fragment checker tests Stefan Pranger 2021-09-03 15:16:09 +0200

Commit Graph Select branches Hide Pull Requests tempestpy_adaptions Mono Color

Commit Graph

Select branches

Hide Pull Requests

tempestpy_adaptions