tempest

763eb7f76f bumped c++ version im CMakeLists main Stefan Pranger 2025-02-10 13:55:35 +0100
ff921b2768 Merge branch 'main' of git.pranger.xyz:TEMPEST/tempest-devel Stefan Pranger 2024-11-07 10:22:30 +0100
676ead0475 Merge pull request 'TempestPY Updates' (#62) from tempestpy_adaptions into main Stefan Pranger 2024-11-07 09:22:19 +0000
48bd2cd9c2 Merge pull request 'Feature: Implementing Sound Versions of Reachability and LRA for SMGs' (#60) from sound_game_vi into tempestpy_adaptions Stefan Pranger 2024-11-07 09:20:00 +0000
7e5867252d SoundGameViHelper: cleaned up Fabian Russold 2024-10-29 09:39:48 +0100
54f36dd369 SparseSmgLraHelper: cleaned up Fabian Russold 2024-10-29 09:32:27 +0100
8846a976f2 Game LRA Sound algorithm fully debugged Fabian Russold 2024-10-29 09:05:25 +0100
c8acbc6834 WIP: LRA fully implemented, scheduler and shield still to be debugged Fabian Russold 2024-10-21 16:30:09 +0200
5453d910c3 reach/safety fully implemented Fabian Russold 2024-10-21 16:29:21 +0200
bb72102e50 produceShield: small fix, produceScheduler: implemented Fabian Russold 2024-10-11 16:49:31 +0200
8f187f46f1 debug: Sound Game VI now fully debugged (fixed Find_MSEC), WIP: produce scheduler Fabian Russold 2024-10-09 21:10:52 +0200
621e9f6794 optimization: WIP relevant states for game VI Fabian Russold 2024-10-01 12:09:17 +0200
26094b08ce WIP Sound LRA for games Fabian Russold 2024-10-01 12:07:24 +0200
5107b5904c optimization: searching for MSECs only if policy changed Fabian Russold 2024-10-01 12:04:49 +0200
470fd302aa getting optimization direction via CheckTask Fabian Russold 2024-08-21 10:34:31 +0200
81c0dbc50f removed all std::cout Fabian Russold 2024-08-20 13:37:22 +0200
3b0eeb1e88 SmgRpatlModelCheckerTest.cpp: google tests for MSECs Fabian Russold 2024-08-20 13:23:06 +0200
1e40b9e5a3 SmgRpatlModelCheckerTest.cpp: added test for deflate method of SoundGameViHelper.cpp Fabian Russold 2024-08-20 11:27:43 +0200
986d1183aa bug fixes and optimizations Fabian Russold 2024-08-09 11:04:18 +0200
877067cdcc SparseSmgRpatlHelper.cpp added return value Fabian Russold 2024-07-26 10:29:46 +0200
de9a5646b0 small performance fix in deflate() Fabian Russold 2024-07-26 09:41:42 +0200
2de38edbff basic implementation done Fabian Russold 2024-07-25 15:35:50 +0200
9a41444217 finding MSECs done, in progress: deflating the MSECs Fabian Russold 2024-07-19 17:01:01 +0200
61b59e64fc reducedMinimizerActions BitVec Fabian Russold 2024-07-19 11:27:26 +0200
4c514cecdd L(S) and G(S) (from paper) Stefan Pranger 2024-11-05 14:19:36 +0100
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
efde0aeba3 removed github workflows for now Stefan Pranger 2024-02-13 09:08:03 +0100
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

Commit Graph Select branches Hide Pull Requests main tempestpy_adaptions Mono Color

Commit Graph

Select branches

Hide Pull Requests

main

tempestpy_adaptions