Search dblp for Publications

export results for "toc:db/conf/mochart/mochart2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/mochart/2008,
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00431-5},
  doi          = {10.1007/978-3-642-00431-5},
  isbn         = {978-3-642-00430-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/AlechinaLNR08,
  author       = {Natasha Alechina and
                  Brian Logan and
                  Nguyen Hoang Nga and
                  Abdur Rakib},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Verifying Time and Communication Costs of Rule-Based Reasoners},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_1},
  doi          = {10.1007/978-3-642-00431-5\_1},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mochart/AlechinaLNR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/BakeraEKR08,
  author       = {Marco Bakera and
                  Stefan Edelkamp and
                  Peter Kissmann and
                  Clemens D. Renner},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Solving {\(\mathrm{\mu}\)}-Calculus Parity Games by Symbolic Planning},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {15--33},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_2},
  doi          = {10.1007/978-3-642-00431-5\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/BakeraEKR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/EarleFIL08,
  author       = {Clara Benac Earle and
                  Lars{-}{\AA}ke Fredlund and
                  Jos{\'{e}} Antonio Iglesias and
                  Agapito Ledezma},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Verifying Robocup Teams},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_3},
  doi          = {10.1007/978-3-642-00431-5\_3},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mochart/EarleFIL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/EdelkampJK08,
  author       = {Stefan Edelkamp and
                  Shahid Jabbar and
                  Peter Kissmann},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Scaling Search with Pattern Databases},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_4},
  doi          = {10.1007/978-3-642-00431-5\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/EdelkampJK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/EdelkampSBWFA08,
  author       = {Stefan Edelkamp and
                  Viktor Schuppan and
                  Dragan Bosnacki and
                  Anton Wijs and
                  Ansgar Fehnker and
                  Husain Aljazzar},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Survey on Directed Model Checking},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {65--89},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_5},
  doi          = {10.1007/978-3-642-00431-5\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/EdelkampSBWFA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/HavelundGHJS08,
  author       = {Klaus Havelund and
                  Alex Groce and
                  Gerard J. Holzmann and
                  Rajeev Joshi and
                  Margaret H. Smith},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Automated Testing of Planning Models},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_6},
  doi          = {10.1007/978-3-642-00431-5\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/HavelundGHJS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/KatzP08,
  author       = {Gal Katz and
                  Doron A. Peled},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Model Checking Driven Heuristic Search for Correct Programs},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {122--131},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_8},
  doi          = {10.1007/978-3-642-00431-5\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/KatzP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/LomuscioPQ08,
  author       = {Alessio Lomuscio and
                  Wojciech Penczek and
                  Hongyang Qu},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Towards Partial Order Reduction for Model Checking Temporal Epistemic
                  Logic},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_7},
  doi          = {10.1007/978-3-642-00431-5\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/LomuscioPQ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/SiminiceanuBM08,
  author       = {Radu Siminiceanu and
                  Ricky W. Butler and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Experimental Evaluation of a Planning Language Suitable for Formal
                  Verification},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_9},
  doi          = {10.1007/978-3-642-00431-5\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/SiminiceanuBM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/SmausH08,
  author       = {Jan{-}Georg Smaus and
                  J{\"{o}}rg Hoffmann},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Relaxation Refinement: {A} New Method to Generate Heuristic Functions},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {147--165},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_10},
  doi          = {10.1007/978-3-642-00431-5\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/SmausH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mochart/TroquardHW08,
  author       = {Nicolas Troquard and
                  Wiebe van der Hoek and
                  Michael J. Wooldridge},
  editor       = {Doron A. Peled and
                  Michael J. Wooldridge},
  title        = {Model Checking Strategic Equilibria},
  booktitle    = {Model Checking and Artificial Intelligence, 5th International Workshop,
                  MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5348},
  pages        = {166--188},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-00431-5\_11},
  doi          = {10.1007/978-3-642-00431-5\_11},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mochart/TroquardHW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.