A Machine-Checked Proof of A State-Space Construction Algorithm

@inproceedings{Catao2010AMP,
  title={A Machine-Checked Proof of A State-Space Construction Algorithm},
  author={N{\'e}stor Cata{\~n}o and Radu I. Siminiceanu},
  booktitle={NASA Formal Methods},
  year={2010}
}