| ... | ... | @@ -11,3 +11,6 @@ You can solve various different problems with DCS, including: |
|
|
|
3)-LTL properties of the form []<>(F1 ^ .. ^ Fn V Fn+1 .. V Fm) where each Fi is a Fluent
|
|
|
|
|
|
|
|
-Full GR1 solving is on the works
|
|
|
|
|
|
|
|
---
|
|
|
|
[← End User](End-User) |
|
|
\ No newline at end of file |
