Michal Knapik, Artur Niewiadomski, Wojciech Penczek
Generating None-Plans in Order to Find Plans
SEFM, 2015.
@inproceedings{SEFM-2015-KnapikNP,
author = "Michal Knapik and Artur Niewiadomski and Wojciech Penczek",
booktitle = "{Proceedings of the 13th International Conference on Software Engineering and Formal Methods}",
doi = "10.1007/978-3-319-22969-0_22",
isbn = "978-3-319-22968-3",
pages = "310--324",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Generating None-Plans in Order to Find Plans}",
volume = 9276,
year = 2015,
}
Tags: