Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

Sara Bernardini‚ Fabio Fagnani and David E. Smith

Journal
CoRR
Volume
abs/1702.01886
Year
2017

Links

See Also

Back to Top