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

Daniel Sthr, Sabine Glesner

Browse the full TASE paper archive.