publications:
- title: "Experimental Evaluation of a Planning Language Suitable for Formal Verification"
  author:
  - name: "Radu Siminiceanu"
    link: "https://researchr.org/alias/radu-siminiceanu"
  - name: "Rick W. Butler"
    link: "https://researchr.org/alias/rick-w.-butler"
  - name: "César A. Muñoz"
    link: "http://shemesh.larc.nasa.gov/people/cam/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00431-5_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00431-5_9"
  researchr: "https://researchr.org/publication/SiminiceanuBM08"
  cites: 0
  citedby: 0
  pages: "132-146"
  booktitle: "Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers"
  editor:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "5348"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00430-8"
  kind: "inproceedings"
  key: "SiminiceanuBM08"