Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking


Current methods for planning in real-time environments only consider planning goals with a restricted expressiveness, even those using the temporal logic Timed CTL (TCTL). These approaches support TCTL subsets expressing rather simple reachability goals and safety properties, but do not allow the arbitrary nesting and conjunction of TCTL formulas. However… (More)
DOI: 10.1109/TASE.2013.9


2 Figures and Tables

Slides referencing similar topics