A Temporal Logic for Planning under Uncertainty.

Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan

Browse the full FlAIRS paper archive.