自主系统的时间规划通过区间逻辑可满足性

自动规划中的时间规划、规划图表、并发关系和可扩展性的研究。