Spaces:

singhanshuman
/

ltl-minimum-violation-planner

Running

App Files Files Community

ltl-minimum-violation-planner / app.py

Commit History

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

aa41bac

Running

Anshuman Singh commited on about 13 hours ago

Upgrade to Gradio 5.25 (fixes Python 3.13 pydub/audioop incompatibility)

20ad86b

Anshuman Singh commited on about 14 hours ago

Initial implementation of minimum-violation LTL planner

ba4f7c6

Anshuman Singh commited on about 14 hours ago