Published June 16, 2024
| Version v1.1
Software
Open
possibilia/mc-avoid: Model Checking for Robot Reactive Planning
Creators
Description
No description provided.
Files
possibilia/mc-avoid-v1.1.zip
Files
(3.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:38bc78e2fc764679877ee804b64dbf2d
|
3.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/possibilia/mc-avoid/tree/v1.1 (URL)