Stefan Pranger sp

• Joined on Jan 27, 2021

Repositories Public Activity Starred Repositories

2

Following

0

Followers

0

Loading Heatmap…

sp pushed to main at sp/MC-ProbMC-PrismFiles

• 8e1d796ac7 updated homework sheet
• 2865817f1e added homework pdf
• Compare 2 commits »

3 days ago

sp pushed to main at sp/MC-ProbMC-PrismFiles

• 1cdea8875e added examples for first lecture
• bc6d574ed6 added files for HW9
• 73ea9b071d added skeleton file for ass one ex 2
• bd5aa41188 added file from first lecture
• Compare 4 commits »

3 days ago

sp pushed to overwrites at sp/Minigrid2PRISM

• a3413fe990 changed behaviour when moving against wall
• 1d43c1d506 added slippery tiles and fixed faulty probability passing
• 8c38856faf started to add non-directional slippery tiles
• Compare 3 commits »

1 month ago

sp pushed to main at sp/Tempest_in_Action

• ed0fc6134e removed imagerecordercallback

4 months ago

sp pushed to main at sp/Tempest_in_Action

• df402f9c4c removed VideoCallback

4 months ago

sp pushed to main at sp/Tempest_in_Action

• 0ce3e5a919 fixed image name reference

4 months ago

sp pushed to main at sp/Tempest_in_Action

• 9399c04935 fix branch for tempest source

4 months ago

sp pushed to main at sp/tempest

• 763eb7f76f bumped c++ version im CMakeLists
• ff921b2768 Merge branch 'main' of git.pranger.xyz:TEMPEST/tempest-devel
• 676ead0475 Merge pull request 'TempestPY Updates' (#62) from tempestpy_adaptions into main
• 48bd2cd9c2 Merge pull request 'Feature: Implementing Sound Versions of Reachability and LRA for SMGs' (#60) from sound_game_vi into tempestpy_adaptions
• 7e5867252d SoundGameViHelper: cleaned up
• Compare 10 commits »

4 months ago

sp created branch main in sp/tempest

4 months ago

sp pushed to main at sp/Tempest_in_Action

• 702e3a8f6e renamed build target for docker

4 months ago

sp pushed to main at sp/Tempest_in_Action

• 93fb745b23 bumped cpp version

4 months ago

sp pushed to main at sp/Tempest_in_Action

• 58919ad4d4 initial commit

6 months ago

sp pushed to main at sp/stochasticModelsInTikz

• 443a3fff8a init commit

6 months ago

sp created branch main in sp/stochasticModelsInTikz

6 months ago

sp created repository sp/stochasticModelsInTikz

6 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 1ecd0fe9b6 reset level0 to be small again

6 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• a38e6b1866 added empty scripts for lecture 2

6 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 3ebf9f6dcf added lecture examples

6 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 1836f17971 update upstream link in ass sheet

7 months ago

sp pushed to main at sp/LAC-Practical-Assignments-WS2024

• 65ab4f510d added assignment sheet

7 months ago