Fetching the paper…
Reading the bibliography…
This paper introduces an approach to validate the functional equivalence of planning domain models.
The 1998 ai planning systems competition
McDermott, D. M. (2000) · 1998
Earlier work this paper cites.
Sequential equivalence checking based on structural similarities
Van Eijk, C. (2000) · 2000
Earlier work this paper cites.
The ff planning system: Fast plan generation through heuristic search
Hoffmann, J., and Nebel, B. (2001) · 2001
Earlier work this paper cites.
Combinational and sequential equivalence checking
Kuehlmann, A., and van Eijk, C. A. (2002) · 2002
Earlier work this paper cites.
Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl
Howey, R., Long, D., and Fox, M. (2004) · 2004
Earlier work this paper cites.
Macro-ff: Improving ai planning with automatically learned macro-operators
Botea, A., Enzenberger, M., Müller, M., and Schaeffer, J. (2005) · 2005
Earlier work this paper cites.
Improvements to combinational equivalence checking
Mishchenko, A., Chatterjee, S., Brayton, R., and Een, N. (2006) · 2006
Earlier work this paper cites.
Marvin: A heuristic search planner with online macro-action learning
Coles, A. I., and Smith, A. J. (2007) · 2007
Earlier work this paper cites.
Learning macro-actions for arbitrary planners and domains.
Newton, M. A. H., Levine, J., Fox, M., and Long, D. (2007) · 2007
Earlier work this paper cites.
Z3: An efficient smt solver
De Moura, L., and Bjørner, N. (2008) · 2008
Earlier work this paper cites.
Regression verification
Godlin, B., and Strichman, O. (2009) · 2009
Cited alongside, same era.
Paramils: an automatic algorithm configuration framework
Hutter, F., Hoos, H. H., Leyton-Brown, K., and Stützle, T. (2009) · 2009
Cited alongside, same era.
On comparing planning domain models
Shoeeb, S., and McCluskey, T. (2011) · 2011
Cited alongside, same era.
On exploiting structures of classical planning problems: Generalizing entanglements.
Chrpa, L., and McCluskey, T. L. (2012) · 2012
Cited alongside, same era.
Acquiring planning domain models using locm
Cresswell, S. N., McCluskey, T. L., and West, M. M. (2013) · 2013
Cited alongside, same era.
Regression verification: proving the equivalence of similar programs
Godlin, B., and Strichman, O. (2013) · 2013
Cited alongside, same era.
On the online generation of effective macro-operators
Chrpa, L., Vallati, M., and McCluskey, T. L. (2015) · 2015
Later among the works it cites.
On the effective configuration of planning domain models
Vallati, M., Hutter, F., Chrpa, L., and McCluskey, T. L. (2015) · 2015
Later among the works it cites.
Maintaining evolving domain models
Bryce, D., Benton, J., and Boldt, M. W. (2016) · 2016
Later among the works it cites.
Improving performance by reformulating pddl into a bagged representation
Riddle, P., Douglas, J., Barley, M., and Franco, S. (2016) · 2016
Later among the works it cites.
Plan explanations as model reconciliation: Moving beyond explanation as soliloquy
Chakraborti, T., Sreedharan, S., Zhang, Y., and Kambhampati, S. (2017) · 2017
Later among the works it cites.
Engineering knowledge for automated planning: Towards a notion of quality
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Towards automated planning domain models generation
Vallati, M., Chrpa, L., and Cerutti, F. (2013) · 2013
Cited alongside, same era.
Action-model acquisition from noisy plan traces
Zhuo, H. H., and Kambhampati, S. (2013) · 2013
Cited alongside, same era.
Optimizing planning domains by automatic action schema splitting.
Areces, C., Bustos, F., Domínguez, M. A., and Hoffmann, J. (2014) · 2014
Cited alongside, same era.
Automating regression verification
Felsing, D., Grebing, S., Klebanov, V., Rümmer, P., and Ulbrich, M. (2014) · 2014
Cited alongside, same era.
McCluskey, T. L., Vaquero, T. S., and Vallati, M. (2017) · 2017
Later among the works it cites.
Learning strips action models with classical planning
Aineto, D., Jiménez, S., and Onaindia, E. (2018) · 2018
Later among the works it cites.
Model recognition as planning
Aineto, D., Jiménez, S., Onaindia, E., and Ramírez, M. (2019) · 2019
Later among the works it cites.
International planning competition 2014 web site
IPC (2014) · 2019
Later among the works it cites.
Model-free model reconciliation
Sreedharan, S., Hernandez, A. O., Mishra, A. P., and Kambhampati, S. (2019) · 2019
Later among the works it cites.