From Uncertainty Data to Robust Policies for Temporal Logic Planning.

Pier Giuseppe Sessa Damian Frick Tony A. Wood Maryam Kamgarpour

Published in: HSCC (2018)

Keyphrases

temporal logic
model checking
uncertain data
multi agent systems
heuristic search
modal logic
satisfiability problem
temporally extended
linear temporal logic
mazurkiewicz traces