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