Spaces:

singhanshuman
/

ltl-minimum-violation-planner

Sleeping

App Files Files Community

ltl-minimum-violation-planner

38.3 kB

Ctrl+K

Ctrl+K

1 contributor

History: 6 commits

Anshuman Singh

Fix GIF animation (base64 embed for Gradio 5.x); add summary.md to gitignore

aa41bac 12 days ago

src
Initial implementation of minimum-violation LTL planner 12 days ago
.gitignore

99 Bytes
Fix GIF animation (base64 embed for Gradio 5.x); add summary.md to gitignore 12 days ago
README.md

1.97 kB
Upgrade to Gradio 5.25 (fixes Python 3.13 pydub/audioop incompatibility) 12 days ago
app.py

5.98 kB
Fix GIF animation (base64 embed for Gradio 5.x); add summary.md to gitignore 12 days ago
requirements.txt

60 Bytes
Upgrade to Gradio 5.25 (fixes Python 3.13 pydub/audioop incompatibility) 12 days ago