@article{FuxmanLMRT04,
  title = {Specifying and analyzing early requirements in Tropos},
  author = {Ariel Fuxman and Lin Liu and John Mylopoulos and Marco Roveri and Paolo Traverso},
  year = {2004},
  doi = {10.1007/s00766-004-0191-7},
  url = {http://dx.doi.org/10.1007/s00766-004-0191-7},
  researchr = {https://researchr.org/publication/FuxmanLMRT04},
  cites = {0},
  citedby = {0},
  journal = {Requir. Eng.},
  volume = {9},
  number = {2},
  pages = {132-150},
}

@article{CimattiPRT03,
  title = {Weak, strong, and strong cyclic planning via symbolic model checking},
  author = {Alessandro Cimatti and Marco Pistore and Marco Roveri and Paolo Traverso},
  year = {2003},
  doi = {10.1016/S0004-3702(02)00374-0},
  url = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiPRT03},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {147},
  number = {1-2},
  pages = {35-84},
}

@inproceedings{BloemCPRS06,
  title = {Symbolic Implementation of Alternating Automata},
  author = {Roderick Bloem and Alessandro Cimatti and Ingo Pill and Marco Roveri and Simone Semprini},
  year = {2006},
  doi = {10.1007/11812128_20},
  url = {http://dx.doi.org/10.1007/11812128_20},
  researchr = {https://researchr.org/publication/BloemCPRS06},
  cites = {0},
  citedby = {0},
  pages = {208-218},
  booktitle = {Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
  editor = {Oscar H. Ibarra and Hsu-Chun Yen},
  volume = {4094},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37213-X},
}

@inproceedings{CimattiRT98:0,
  title = {Strong Planning in Non-Deterministic Domains Via Model Checking},
  author = {Alessandro Cimatti and Marco Roveri and Paolo Traverso},
  year = {1998},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiRT98%3A0},
  cites = {0},
  citedby = {0},
  pages = {36-43},
  booktitle = {AIPS},
}

@article{PistoreRB04,
  title = {Requirements-Driven Verification of Web Services},
  author = {Marco Pistore and Marco Roveri and Paolo Busetta},
  year = {2004},
  doi = {10.1016/j.entcs.2004.05.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.05.005},
  tags = {web service, web services},
  researchr = {https://researchr.org/publication/PistoreRB04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {105},
  pages = {95-108},
}

@article{CimattiRB04,
  title = {Conformant planning via symbolic model checking and heuristic search},
  author = {Alessandro Cimatti and Marco Roveri and Piergiorgio Bertoli},
  year = {2004},
  doi = {10.1016/j.artint.2004.05.003},
  url = {http://dx.doi.org/10.1016/j.artint.2004.05.003},
  tags = {model checking, meta-model, Meta-Environment, search},
  researchr = {https://researchr.org/publication/CimattiRB04},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {159},
  number = {1-2},
  pages = {127-206},
}

@article{CimattiCGR00,
  title = {NUSMV: A New Symbolic Model Checker},
  author = {Alessandro Cimatti and Edmund M. Clarke and Fausto Giunchiglia and Marco Roveri},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/10009/bibs/0002004/00020410.htm},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiCGR00},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {2},
  number = {4},
  pages = {410-425},
}

@inproceedings{CimattiPRS02,
  title = {Improving the Encoding of LTL Model Checking into SAT},
  author = {Alessandro Cimatti and Marco Pistore and Marco Roveri and Roberto Sebastiani},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2294/22940196.htm},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiPRS02},
  cites = {0},
  citedby = {0},
  pages = {196-207},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers},
  editor = {Agostino Cortesi},
  volume = {2294},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43631-6},
}

@article{CimattiR00,
  title = {Conformant Planning via Symbolic Model Checking},
  author = {Alessandro Cimatti and Marco Roveri},
  year = {2000},
  url = {http://www.cs.washington.edu/research/jair/abstracts/cimatti00a.html},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiR00},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {13},
  pages = {305-338},
}

@inproceedings{CimattiRST07,
  title = {Boolean Abstraction for Temporal Logic Satisfiability},
  author = {Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Stefano Tonetta},
  year = {2007},
  doi = {10.1007/978-3-540-73368-3_53},
  url = {http://dx.doi.org/10.1007/978-3-540-73368-3_53},
  tags = {logic, abstraction},
  researchr = {https://researchr.org/publication/CimattiRST07},
  cites = {0},
  citedby = {0},
  pages = {532-546},
  booktitle = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  editor = {Werner Damm and Holger Hermanns},
  volume = {4590},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73367-6},
}

@inproceedings{BertoliCRT01,
  title = {Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking},
  author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso},
  year = {2001},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BertoliCRT01},
  cites = {0},
  citedby = {0},
  pages = {473-478},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
  editor = {Bernhard Nebel},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-777-3},
}

@inproceedings{CimattiRST08:0,
  title = {Object Models with Temporal Constraints},
  author = {Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta},
  year = {2008},
  doi = {10.1109/SEFM.2008.23},
  url = {http://dx.doi.org/10.1109/SEFM.2008.23},
  tags = {meta-model, constraints, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CimattiRST08%3A0},
  cites = {0},
  citedby = {0},
  pages = {249-258},
  booktitle = {Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008},
  editor = {Antonio Cerone and Stefan Gruner},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3437-4},
}

@inproceedings{GiunchigliaRS97,
  title = {A New Method for Testing Decision Procedures in Modal Logics},
  author = {Fausto Giunchiglia and Marco Roveri and Roberto Sebastiani},
  year = {1997},
  tags = {modal logic, testing, logic},
  researchr = {https://researchr.org/publication/GiunchigliaRS97},
  cites = {0},
  citedby = {0},
  pages = {264-267},
  booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings},
  editor = {William McCune},
  volume = {1249},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63104-6},
}

@inproceedings{GiunchigliaRS96,
  title = {A New Method for Testing Decision Procedures in Modal and Terminological Logics},
  author = {Fausto Giunchiglia and Marco Roveri and Roberto Sebastiani},
  year = {1996},
  tags = {modal logic, testing, logic},
  researchr = {https://researchr.org/publication/GiunchigliaRS96},
  cites = {0},
  citedby = {0},
  pages = {119-123},
  booktitle = {Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA},
  editor = {Lin Padgham and Enrico Franconi and Manfred Gehrke and Deborah L. McGuinness and Peter F. Patel-Schneider},
  volume = {WS-96-05},
  series = {AAAI Technical Report},
  publisher = {AAAI Press},
  isbn = {1-57735-014-6},
}

@article{CimattiRT08,
  title = {Symbolic Compilation of PSL},
  author = {Alessandro Cimatti and Marco Roveri and Stefano Tonetta},
  year = {2008},
  doi = {10.1109/TCAD.2008.2003303},
  url = {http://dx.doi.org/10.1109/TCAD.2008.2003303},
  researchr = {https://researchr.org/publication/CimattiRT08},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume = {27},
  number = {10},
  pages = {1737-1750},
}

@inproceedings{CimattiRST06,
  title = {From PSL to NBA: a Modular Symbolic Encoding},
  author = {Alessandro Cimatti and Marco Roveri and Simone Semprini and Stefano Tonetta},
  year = {2006},
  doi = {10.1109/FMCAD.2006.19},
  url = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.19},
  researchr = {https://researchr.org/publication/CimattiRST06},
  cites = {0},
  citedby = {0},
  pages = {125-133},
  booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2707-8},
}

@article{BloemCPR07,
  title = {Symbolic Implementation of Alternating Automata},
  author = {Roderick Bloem and Alessandro Cimatti and Ingo Pill and Marco Roveri},
  year = {2007},
  doi = {10.1142/S0129054107004942},
  url = {http://dx.doi.org/10.1142/S0129054107004942},
  researchr = {https://researchr.org/publication/BloemCPR07},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {18},
  number = {4},
  pages = {727-743},
}

@inproceedings{CimattiGPRST02,
  title = {Integrating BDD-Based and SAT-Based Symbolic Model Checking},
  author = {Alessandro Cimatti and Enrico Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2309/23090049.htm},
  tags = {rule-based, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiGPRST02},
  cites = {0},
  citedby = {0},
  pages = {49-56},
  booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
  editor = {Alessandro Armando},
  volume = {2309},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43381-3},
}

@inproceedings{CimattiRS04,
  title = {Bounded Verification of Past LTL},
  author = {Alessandro Cimatti and Marco Roveri and Daniel Sheridan},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=245},
  researchr = {https://researchr.org/publication/CimattiRS04},
  cites = {0},
  citedby = {0},
  pages = {245-259},
  booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
  editor = {Alan J. Hu and Andrew K. Martin},
  volume = {3312},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23738-0},
}

@article{BloemRS07,
  title = {Preface},
  author = {Roderick Bloem and Marco Roveri and Fabio Somenzi},
  year = {2007},
  doi = {10.1016/j.entcs.2006.12.025},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.12.025},
  researchr = {https://researchr.org/publication/BloemRS07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {174},
  number = {4},
  pages = {1},
}

@inproceedings{CimattiR99,
  title = {Conformant Planning via Model Checking},
  author = {Alessandro Cimatti and Marco Roveri},
  year = {1999},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiR99},
  cites = {0},
  citedby = {0},
  pages = {21-34},
  booktitle = {Recent Advances in AI Planning, 5th European Conference on Planning, ECP 99, Durham, UK, September  8-10, 1999, Proceedings},
  editor = {Susanne Biundo and Maria Fox},
  volume = {1809},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67866-2},
}

@inproceedings{CimattiCGGPRST02,
  title = {{NuSMV} 2: An OpenSource Tool for Symbolic Model Checking},
  author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2404/24040359.htm},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiCGGPRST02},
  cites = {0},
  citedby = {0},
  pages = {359-364},
  booktitle = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  editor = {Ed Brinksma and Kim Guldstrand Larsen},
  volume = {2404},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43997-8},
}

@inproceedings{FuxmanLPRM03,
  title = {Specifying and Analyzing Early Requirements: Some Experimental Results},
  author = {Ariel Fuxman and Lin Liu and Marco Pistore and Marco Roveri and John Mylopoulos},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800105abs.htm},
  researchr = {https://researchr.org/publication/FuxmanLPRM03},
  cites = {0},
  citedby = {0},
  pages = {105},
  booktitle = {11th  IEEE International Conference on Requirements Engineering (RE 2003), 8-12 September 2003, Monterey Bay, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1980-6},
}

@inproceedings{CavadaCFKRS07,
  title = {Computing Predicate Abstractions by Integrating BDDs and SMT Solvers},
  author = {Roberto Cavada and Alessandro Cimatti and Anders Franzén and Krishnamani Kalyanasundaram and Marco Roveri and R. K. Shyamasundar},
  year = {2007},
  doi = {10.1109/FMCAD.2007.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.18},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CavadaCFKRS07},
  cites = {0},
  citedby = {0},
  pages = {69-76},
  booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference, FMCAD 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {IEEE Computer Society},
}

@inproceedings{KazhamiakinPR04,
  title = {Formal Verification of Requirements using SPIN: A Case Study on Web Services},
  author = {Raman Kazhamiakin and Marco Pistore and Marco Roveri},
  year = {2004},
  doi = {10.1109/SEFM.2004.19},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.19},
  tags = {case study, web service, web services},
  researchr = {https://researchr.org/publication/KazhamiakinPR04},
  cites = {0},
  citedby = {0},
  pages = {406-415},
  booktitle = {2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2222-X},
}

@inproceedings{BloemCPRT07,
  title = {RAT: A Tool for the Formal Analysis of Requirements},
  author = {Roderick Bloem and Roberto Cavada and Ingo Pill and Marco Roveri and Andrei Tchaltsev},
  year = {2007},
  doi = {10.1007/978-3-540-73368-3_30},
  url = {http://dx.doi.org/10.1007/978-3-540-73368-3_30},
  tags = {analysis},
  researchr = {https://researchr.org/publication/BloemCPRT07},
  cites = {0},
  citedby = {0},
  pages = {263-267},
  booktitle = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  editor = {Werner Damm and Holger Hermanns},
  volume = {4590},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73367-6},
}

@inproceedings{KazhamiakinPR04:0,
  title = {A Framework for Integrating Business Processes and Business Requirements},
  author = {Raman Kazhamiakin and Marco Pistore and Marco Roveri},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140009abs.htm},
  researchr = {https://researchr.org/publication/KazhamiakinPR04%3A0},
  cites = {0},
  citedby = {0},
  pages = {9-20},
  booktitle = {8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2214-9},
}

@inproceedings{CimattiRT09,
  title = {Requirements Validation for Hybrid Systems},
  author = {Alessandro Cimatti and Marco Roveri and Stefano Tonetta},
  year = {2009},
  doi = {10.1007/978-3-642-02658-4_17},
  url = {http://dx.doi.org/10.1007/978-3-642-02658-4_17},
  researchr = {https://researchr.org/publication/CimattiRT09},
  cites = {0},
  citedby = {0},
  pages = {188-203},
  booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  editor = {Ahmed Bouajjani and Oded Maler},
  volume = {5643},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02657-7},
}

@inproceedings{CimattiCGR99,
  title = {NUSMV: A New Symbolic Model Verifier},
  author = {Alessandro Cimatti and Edmund M. Clarke and Fausto Giunchiglia and Marco Roveri},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1633/16330495.htm},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiCGR99},
  cites = {0},
  citedby = {0},
  pages = {495-499},
  booktitle = {Computer Aided Verification, 11th International Conference, CAV  99, Trento, Italy, July 6-10, 1999, Proceedings},
  editor = {Nicolas Halbwachs and Doron Peled},
  volume = {1633},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66202-2},
}

@inproceedings{CimattiRT07,
  title = {Syntactic Optimizations for PSL Verification},
  author = {Alessandro Cimatti and Marco Roveri and Stefano Tonetta},
  year = {2007},
  doi = {10.1007/978-3-540-71209-1_39},
  url = {http://dx.doi.org/10.1007/978-3-540-71209-1_39},
  tags = {optimization},
  researchr = {https://researchr.org/publication/CimattiRT07},
  cites = {0},
  citedby = {0},
  pages = {505-518},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi},
  editor = {Orna Grumberg and Michael Huth},
  volume = {4424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71208-4},
}

@inproceedings{PeriniPRS03,
  title = {Agent-Oriented Modeling by Interleaving Formal and Informal Specification},
  author = {Anna Perini and Marco Pistore and Marco Roveri and Angelo Susi},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2935&spage=36},
  tags = {modeling},
  researchr = {https://researchr.org/publication/PeriniPRS03},
  cites = {0},
  citedby = {0},
  pages = {36-52},
  booktitle = {Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers},
  editor = {Paolo Giorgini and Jörg P. Müller and James Odell},
  volume = {2935},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20826-7},
}

@inproceedings{PillSCRBC06,
  title = {Formal analysis of hardware requirements},
  author = {Ingo Pill and Simone Semprini and Roberto Cavada and Marco Roveri and Roderick Bloem and Alessandro Cimatti},
  year = {2006},
  doi = {10.1145/1146909.1147119},
  url = {http://doi.acm.org/10.1145/1146909.1147119},
  tags = {analysis},
  researchr = {https://researchr.org/publication/PillSCRBC06},
  cites = {0},
  citedby = {0},
  pages = {821-826},
  booktitle = {Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006},
  editor = {Ellen Sentovich},
  publisher = {ACM},
  isbn = {1-59593-381-6},
}

@inproceedings{CimattiRB01,
  title = {Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking},
  author = {Alessandro Cimatti and Marco Roveri and Piergiorgio Bertoli},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2031/20310313.htm},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/CimattiRB01},
  cites = {0},
  citedby = {0},
  pages = {313-327},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {Tiziana Margaria and Wang Yi},
  volume = {2031},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41865-2},
}

@inproceedings{BertoliCR01,
  title = {Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning},
  author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri},
  year = {2001},
  tags = {model checking, meta-model, Meta-Environment, search},
  researchr = {https://researchr.org/publication/BertoliCR01},
  cites = {0},
  citedby = {0},
  pages = {467-472},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
  editor = {Bernhard Nebel},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-777-3},
}

@article{BertoliCRT06,
  title = {Strong planning under partial observability},
  author = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso},
  year = {2006},
  doi = {10.1016/j.artint.2006.01.004},
  url = {http://dx.doi.org/10.1016/j.artint.2006.01.004},
  researchr = {https://researchr.org/publication/BertoliCRT06},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {170},
  number = {4-5},
  pages = {337-384},
}

@inproceedings{CimattiRT98,
  title = {Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains},
  author = {Alessandro Cimatti and Marco Roveri and Paolo Traverso},
  year = {1998},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/CimattiRT98},
  cites = {0},
  citedby = {0},
  pages = {875-881},
  booktitle = {AAAI/IAAI},
}

@inproceedings{CimattiRST08,
  title = {Diagnostic Information for Realizability},
  author = {Alessandro Cimatti and Marco Roveri and Viktor Schuppan and Andrei Tchaltsev},
  year = {2008},
  doi = {10.1007/978-3-540-78163-9_9},
  url = {http://dx.doi.org/10.1007/978-3-540-78163-9_9},
  tags = {diagnostics},
  researchr = {https://researchr.org/publication/CimattiRST08},
  cites = {0},
  citedby = {0},
  pages = {52-67},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  editor = {Francesco Logozzo and Doron Peled and Lenore D. Zuck},
  volume = {4905},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78162-2},
}