On Generation of Context-Abstract Plans

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15201-1_25 ◽

2015 ◽

pp. 376-388

Author(s):

Łukasz Mikulski ◽

Artur Niewiadomski ◽

Marcin Piątkowski ◽

Sebastian Smyczyński

Download Full-text