{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":249852121,"defaultBranch":"master","name":"regret_synthesis_toolbox","ownerLogin":"aria-systems-group","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-25T00:47:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/57578592?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1708123403.0","currentOid":""},"activityList":{"items":[{"before":"b0dd005937c831475001efd6e0d02a17937d216b","after":"cd237a5b17a182651718dabcc72ef1c6dc947c67","ref":"refs/heads/master","pushedAt":"2024-05-08T18:20:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Updated submodules","shortMessageHtmlLink":"Updated submodules"}},{"before":"da94cd04d4b18e86fb1c6a007e29898b2f5ad1f0","after":"97f551899ae3050c483813fec0193156022bab1f","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-21T02:14:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added a working implementation of Tree construction. Validated implementation on sample examples","shortMessageHtmlLink":"Added a working implementation of Tree construction. Validated implem…"}},{"before":"d96cc226e03978fbf7ed1250c8dd95a67caaf3bd","after":"da94cd04d4b18e86fb1c6a007e29898b2f5ad1f0","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-20T03:18:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added a BFS style Tree construction with utility embedded in graph nodes","shortMessageHtmlLink":"Added a BFS style Tree construction with utility embedded in graph nodes"}},{"before":"75782518ec0d04982fbd6723e03677b1fb9deb62","after":"d96cc226e03978fbf7ed1250c8dd95a67caaf3bd","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-16T23:42:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"WIP: Added Admissiblity strategy sythesis code. This is just a tmp commit. The code does not work!","shortMessageHtmlLink":"WIP: Added Admissiblity strategy sythesis code. This is just a tmp co…"}},{"before":"b9050c843c5c459367618b4f1d0a7f5ef441fdc0","after":"75782518ec0d04982fbd6723e03677b1fb9deb62","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-14T00:09:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Refactore BestEffort Synthesis code using Abstract Class for cleaner implementation.","shortMessageHtmlLink":"Refactore BestEffort Synthesis code using Abstract Class for cleaner …"}},{"before":"45bfd226950011de142c6ef489a3dd949312d37d","after":"b9050c843c5c459367618b4f1d0a7f5ef441fdc0","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-13T05:37:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Clean Up: Removed deprecated classes, functions from old IJCAI paper.\"\n\nDeleted: best_effort_safe_reach.py script that contained old code for BE safe reach strategy synthesis.\n\nDeletes: QualitativeBestEffortSafetySyn() class and its quantitative variant. Old IJCAI implementation.\n\nUpdated main.py and removed deprecated calls","shortMessageHtmlLink":"Clean Up: Removed deprecated classes, functions from old IJCAI paper.\""}},{"before":"4c183447ab807acb44c18e29d4b131237f3608f4","after":"45bfd226950011de142c6ef489a3dd949312d37d","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-13T05:29:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added code to plot strategies on graph. Added code to construct admissibility example graphs from Appendix.","shortMessageHtmlLink":"Added code to plot strategies on graph. Added code to construct admis…"}},{"before":"afb93eb429d6abc8cd586fdf7f5678bfc25b9b65","after":"4c183447ab807acb44c18e29d4b131237f3608f4","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-13T04:53:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"updated admissibilty synthesis algo. 1 code. Updated chech_if_play_loops() code","shortMessageHtmlLink":"updated admissibilty synthesis algo. 1 code. Updated chech_if_play_lo…"}},{"before":"e8fb433ff1d0f0f7a57c026c52057ff6ce7a8e82","after":"afb93eb429d6abc8cd586fdf7f5678bfc25b9b65","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-06T02:10:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added code Admissible strategy synthesis. Need to verify implementation","shortMessageHtmlLink":"Added code Admissible strategy synthesis. Need to verify implementation"}},{"before":"16cd2350a3cbc57a778776f59afa64cddf104a79","after":"e8fb433ff1d0f0f7a57c026c52057ff6ce7a8e82","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-03-06T02:08:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added code Admissible strategy synthesis. Need to verify implementation","shortMessageHtmlLink":"Added code Admissible strategy synthesis. Need to verify implementation"}},{"before":null,"after":"16cd2350a3cbc57a778776f59afa64cddf104a79","ref":"refs/heads/feature/admissible_str_syn","pushedAt":"2024-02-16T22:43:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"updated main script. Added docu string for the new method for adm strategy synthesis","shortMessageHtmlLink":"updated main script. Added docu string for the new method for adm str…"}},{"before":"1139f229eee5704917efbf855cf003230f097cc1","after":null,"ref":"refs/tags/v2.0","pushedAt":"2024-02-16T22:17:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"}},{"before":null,"after":"84ef5b007ca10fd4b71da934fdbeae2ccbeed83e","ref":"refs/heads/ijcai24/quant_be_implemenation","pushedAt":"2024-02-16T22:13:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Updated the documentation with HISTORY.md file","shortMessageHtmlLink":"Updated the documentation with HISTORY.md file"}},{"before":"7cfc4264746a37f47dc2ebe3ecd5f5ad959a2f82","after":"44a889608431ac5e2051d874d65e827b55747e5d","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2024-01-17T05:54:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Updated best-effort safe reach with state value computation for rollouts.","shortMessageHtmlLink":"Updated best-effort safe reach with state value computation for rollo…"}},{"before":"63d72466547398178c40dbfd073a4a88f783c49c","after":"7cfc4264746a37f47dc2ebe3ecd5f5ad959a2f82","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2023-12-30T19:05:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Adding exp code to compute SCCs using nx's builtin SCC methods.","shortMessageHtmlLink":"Adding exp code to compute SCCs using nx's builtin SCC methods."}},{"before":"b037e9a773da162133825d40b4ab512eecadd94b","after":"63d72466547398178c40dbfd073a4a88f783c49c","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2023-12-22T02:23:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Merge branch 'master' into feature/add_VI_optimization","shortMessageHtmlLink":"Merge branch 'master' into feature/add_VI_optimization"}},{"before":"47ba2e33c9d7fce085928a4805b73f3439a57298","after":"b0dd005937c831475001efd6e0d02a17937d216b","ref":"refs/heads/master","pushedAt":"2023-12-22T02:21:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Updated test script formatting and README. Minor fix in two_player_graph.plot()","shortMessageHtmlLink":"Updated test script formatting and README. Minor fix in two_player_gr…"}},{"before":"3fa5fa26f63285b7aa7d46b98bdfe9c3ec8bef8e","after":"b037e9a773da162133825d40b4ab512eecadd94b","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2023-12-17T01:10:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added modified Tarjan's algorithm. Added print statement for debugging.","shortMessageHtmlLink":"Added modified Tarjan's algorithm. Added print statement for debugging."}},{"before":"9abeaf6881d9105aa405498bf7db8bee0f329f2e","after":"3fa5fa26f63285b7aa7d46b98bdfe9c3ec8bef8e","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2023-12-15T18:54:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Cleaned up Regret synthesis and Topologocal Value Iteration code.","shortMessageHtmlLink":"Cleaned up Regret synthesis and Topologocal Value Iteration code."}},{"before":null,"after":"9abeaf6881d9105aa405498bf7db8bee0f329f2e","ref":"refs/heads/feature/add_VI_optimization","pushedAt":"2023-12-15T02:03:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"WIP: Adding code to compute strategies using Topological Value Iteration algorithm for Graph of Utility and Graph of Best-Response.","shortMessageHtmlLink":"WIP: Adding code to compute strategies using Topological Value Iterat…"}},{"before":"baab844ed2bd166c652101d31e2e0ecb526fb651","after":"47ba2e33c9d7fce085928a4805b73f3439a57298","ref":"refs/heads/master","pushedAt":"2023-12-13T04:50:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added verbose flag in reg str synth code to suppress output","shortMessageHtmlLink":"Added verbose flag in reg str synth code to suppress output"}},{"before":"4418e4bb2dea24ca222610df7cea3507600b19c7","after":"baab844ed2bd166c652101d31e2e0ecb526fb651","ref":"refs/heads/master","pushedAt":"2023-12-12T23:02:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added helper function to Value Iteration code and Regret Str synthesis class.","shortMessageHtmlLink":"Added helper function to Value Iteration code and Regret Str synthesi…"}},{"before":"9acf2f47e84adb27b44bffdb3839b3d62e91467c","after":"4418e4bb2dea24ca222610df7cea3507600b19c7","ref":"refs/heads/master","pushedAt":"2023-12-11T23:32:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added LTL test file and more testing plotting functionality.","shortMessageHtmlLink":"Added LTL test file and more testing plotting functionality."}},{"before":"b06e5f6336e748a56c311f163019294de9c5c17f","after":"9acf2f47e84adb27b44bffdb3839b3d62e91467c","ref":"refs/heads/master","pushedAt":"2023-12-11T23:02:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Update plotting to take in directory and filename as input. Updated builder classes accordingly.","shortMessageHtmlLink":"Update plotting to take in directory and filename as input. Updated b…"}},{"before":"7049d0949a946d9a90fe51f17d35eecd8d2c7120","after":"b06e5f6336e748a56c311f163019294de9c5c17f","ref":"refs/heads/master","pushedAt":"2023-12-11T19:12:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added helper method to check if script is running inside docker. If yes, suppress plotting graphs.","shortMessageHtmlLink":"Added helper method to check if script is running inside docker. If y…"}},{"before":"c16364bc4000d6f2f324c04196e1e52aff713489","after":"7049d0949a946d9a90fe51f17d35eecd8d2c7120","ref":"refs/heads/master","pushedAt":"2023-12-09T02:36:57.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Merge pull request #7 from aria-systems-group/feature/add_ltlf_to_dfa\n\nFeature/add ltlf to dfa","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033549736\" data-permission-text=\"Title is private\" data-url=\"https://github.com/aria-systems-group/regret_synthesis_toolbox/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/aria-systems-group/regret_synthesis_toolbox/pull/7/hovercard\" href=\"https://github.com/aria-systems-group/regret_synthesis_toolbox/pull/7\">#7</a> from aria-systems-group/feature/add_ltlf_to_dfa"}},{"before":"dce30ad76e46e71d03713ad10c3a6327d082ed23","after":"9f75bf7f9d8ab76766694e43edfea95228503641","ref":"refs/heads/feature/add_ltlf_to_dfa","pushedAt":"2023-12-09T01:59:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added Test scripts and updated Dockerfile w instruction for LTLf tool","shortMessageHtmlLink":"Added Test scripts and updated Dockerfile w instruction for LTLf tool"}},{"before":"ac412354b9f35235cd52b19a3f557db436ec7ec5","after":"dce30ad76e46e71d03713ad10c3a6327d082ed23","ref":"refs/heads/feature/add_ltlf_to_dfa","pushedAt":"2023-12-09T01:58:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added Test scripts and updated Dockerfile w instruction for LTLf tool","shortMessageHtmlLink":"Added Test scripts and updated Dockerfile w instruction for LTLf tool"}},{"before":"c65efd713391bb838032db71094047eddea8a5f5","after":"ac412354b9f35235cd52b19a3f557db436ec7ec5","ref":"refs/heads/feature/add_ltlf_to_dfa","pushedAt":"2023-12-09T01:48:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Added Test scripts and updated Dockerfile w instruction for LTLf tool","shortMessageHtmlLink":"Added Test scripts and updated Dockerfile w instruction for LTLf tool"}},{"before":"76d7b9a3e3ad09c781074acf60d9571bdd258b7c","after":"c65efd713391bb838032db71094047eddea8a5f5","ref":"refs/heads/feature/add_ltlf_to_dfa","pushedAt":"2023-12-08T21:06:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MuvvalaKaran","name":"Karan Muvvala","path":"/MuvvalaKaran","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29462020?s=80&v=4"},"commit":{"message":"Fixed LTLf to DFA code. Verified Product construction.","shortMessageHtmlLink":"Fixed LTLf to DFA code. Verified Product construction."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEROyh4QA","startCursor":null,"endCursor":null}},"title":"Activity · aria-systems-group/regret_synthesis_toolbox"}