Supplementary Material for 'Complexity Results for Fixing Classical Models Using LTL to Express Which Solutions Are (Un)Desired'
| Title: | Supplementary Material for 'Complexity Results for Fixing Classical Models Using LTL to Express Which Solutions Are (Un)Desired' |
|---|---|
| Authors: | Sheng, Huanghua; Bercher, Pascal |
| Publisher Information: | The Australian National University |
| Publication Year: | 2026 |
| Collection: | Australian National University: ANU Digital Collections |
| Description: | "Complexity Results for Fixing Classical Models Using LTL to Express Which Solutions Are (Un)Desired" Huanghua Sheng; and Pascal Bercher. In Proceedings of the 36th International Conference on Automated Planning and Scheduling (ICAPS 2026), 2026. AAAI Press |
| Document Type: | manuscript |
| File Description: | application/pdf |
| Language: | English |
| Relation: | http://purl.org/au-research/grants/arc/DE240101245; https://hdl.handle.net/1885/733807477 |
| DOI: | 10.25911/5ZWE-4K22 |
| Availability: | https://hdl.handle.net/1885/733807477; https://doi.org/10.25911/5ZWE-4K22; https://openresearch-repository.anu.edu.au/bitstreams/b5dee929-ac7e-40f5-a5d1-4f6162ef7cee/download; https://openresearch-repository.anu.edu.au/bitstreams/4febde57-757f-46fb-8a2e-21828cbe69be/download |
| Rights: | © 2026 Author(s) |
| Accession Number: | edsbas.1D6F8C07 |
| Database: | BASE |