{"id":31021371,"url":"https://github.com/sisl/pomdpmodelchecking.jl","last_synced_at":"2025-09-13T11:20:59.976Z","repository":{"id":49115750,"uuid":"133057566","full_name":"sisl/POMDPModelChecking.jl","owner":"sisl","description":"Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl","archived":false,"fork":false,"pushed_at":"2024-08-08T05:59:33.000Z","size":2822,"stargazers_count":15,"open_issues_count":1,"forks_count":3,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-08-24T13:44:57.911Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Julia","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sisl.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.md","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-05-11T15:33:55.000Z","updated_at":"2025-08-14T23:08:03.000Z","dependencies_parsed_at":"2024-06-01T11:34:38.274Z","dependency_job_id":"3b8674d2-90f1-4865-b4f0-5ac96a92e491","html_url":"https://github.com/sisl/POMDPModelChecking.jl","commit_stats":{"total_commits":118,"total_committers":4,"mean_commits":29.5,"dds":0.1694915254237288,"last_synced_commit":"3544a316e7a3e6e930d6763fb1ff2e578f6e95a8"},"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/sisl/POMDPModelChecking.jl","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sisl%2FPOMDPModelChecking.jl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sisl%2FPOMDPModelChecking.jl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sisl%2FPOMDPModelChecking.jl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sisl%2FPOMDPModelChecking.jl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sisl","download_url":"https://codeload.github.com/sisl/POMDPModelChecking.jl/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sisl%2FPOMDPModelChecking.jl/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274955772,"owners_count":25380669,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-13T02:00:10.085Z","response_time":70,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-09-13T11:20:54.613Z","updated_at":"2025-09-13T11:20:59.960Z","avatar_url":"https://github.com/sisl.png","language":"Julia","funding_links":[],"categories":[],"sub_categories":[],"readme":"# POMDPModelChecking.jl\r\n\r\n[![Build Status](https://github.com/sisl/POMDPModelChecking.jl/workflows/CI/badge.svg)](https://github.com/sisl/POMDPModelChecking.jl/actions)\r\n[![CodeCov](https://codecov.io/gh/sisl/POMDPModelChecking.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/sisl/POMDPModelChecking.jl)\r\n[![](https://img.shields.io/badge/docs-stable-blue.svg)](https://sisl.github.io/POMDPModelChecking.jl/stable)\r\n[![](https://img.shields.io/badge/docs-dev-blue.svg)](https://sisl.github.io/POMDPModelChecking.jl/dev)\r\n\r\n\r\nThis package provides support for performing verification and policy synthesis in POMDPs from LTL formulas. It relies on [POMDPs.jl](https://github.com/JuliaPOMDP/POMDPs.jl) for expressing the model and [Spot.jl](https://github.com/sisl/Spot.jl) for manipulating LTL formulas. \r\n\r\nIf this package is useful to you, consider citing: M. Bouton, J. Tumova, and M. J. Kochenderfer, \"Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes,\" in *AAAI Conference on Artificial Intelligence (AAAI)*, 2020.\r\n\r\n## Installation \r\n```julia\r\nusing Pkg\r\nPkg.add(\"POMDPModelChecking\")\r\n```\r\n\r\n## Notes\r\n\r\nThis package exports two solvers: `ReachabilitySolver` and `ModelCheckingSolver`. Those solvers are intended to be used on models implemented with `POMDPs.jl`, please refer to the `POMDPs.jl` documentation to learn how to implement a POMDP or MDP model using the correct interface.\r\n\r\n\r\n**Interface with [Storm](http://www.stormchecker.org/) :**\r\n\r\nA writer is already written to convert MDP to the good format, a solver interface has been prototyped, relying on the python library  [stormpy](https://moves-rwth.github.io/stormpy/). The files are in the `legacy/` folder but are only experimental for now.\r\n\r\n## Disclaimer\r\n\r\nThis is still work in progress and could be improved a lot, please submit issues if you encounter. Contributions and PR welcome!\r\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsisl%2Fpomdpmodelchecking.jl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsisl%2Fpomdpmodelchecking.jl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsisl%2Fpomdpmodelchecking.jl/lists"}