Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

DOI10.1613/JAIR.5562zbMath1440.68252OpenAlexW2791893678MaRDI QIDQ4639031

Sebastian Sardiña, Nicolas D'Ippolito, Natalia Rodríguez

Publication date: 2 May 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5562

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Analyzing generalized planning under nondeterminism ⋮ Flexible FOND Planning with Explicit Fairness Assumptions

This page was built for publication: Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis