Using alpha-ctl to Specify Complex Planning Goals.

Silvio do Lago Pereira Leliane Nunes de Barros

Published in: WoLLIC (2008)

Keyphrases

temporal logic
temporally extended goals
planning process
complex data
uncertain environments
multi agent
complex systems
planning problems
bounded model checking
real world
higher level
goal oriented
technical systems