@inproceedings{scala_grastien_2021, 
  title={Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning}, 
  author={Scala and Grastien}, 
  year={2021}
  }