Spaces:

singhanshuman
/

ltl-minimum-violation-planner

Running

Anshuman Singh commited on 3 days ago

Commit

4fe2273

1 Parent(s): ba4f7c6

Fix HF Space short_description length

Files changed (1) hide show

README.md CHANGED Viewed

@@ -8,7 +8,7 @@ sdk_version: "4.44.0"
 app_file: app.py
 pinned: false
 license: mit
-short_description: Interactive demo of Jana Tumova's minimum-violation LTL planning algorithm (ACC 2013)
 ---
 # Minimum-Violation LTL Planning

 app_file: app.py
 pinned: false
 license: mit
+short_description: Interactive minimum-violation LTL planner (ACC 2013)
 ---
 # Minimum-Violation LTL Planning