Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
Details
| Original language | English |
|---|---|
| Title of host publication | AAAI Fall Symposium - Technical Report |
| Publication status | Published - 2015 |
| Event | AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents - Arlington, Virginia, United States Duration: 12 Nov 2015 → 14 Nov 2015 |
Conference
| Conference | AAAI 2015 Fall Symposium, Sequential Decision Making for Intelligent Agents |
|---|---|
| Country | United States |
| City | Arlington, Virginia |
| Period | 12/11/15 → 14/11/15 |