30 citations · 49 across the 16 of their papers we have counts for
1 paper · 2 filters
Hayyan Helal, Gerhard Lakemeyer
Many planning formalisms allow for mixing numeric with Boolean effects. However, most of these formalisms are undecidable. In this paper, we will analyze possible causes for this u…