15 lines (9 loc) · 475 Bytes

PACTL - planner based on alpha-CTL

References: Planejamento sob incerteza para metas de alcançabilidade estendidas (Pereira, Silvio do Lago - 2007)

Run tests:

swipl pactl.pl test1.pl
swipl pactl.pl test2.pl

Given the initial state s0 and the goal g:

weak policy: pactl(s0, ef(g)).
strong policy: pactl(s0, af(g)).
strong cycling policy: pactl(s0, ag(ef(g))).