default search action

combined dblp search
author search
venue search
publication search

ask others

MoChArt 2008: Patras, Greece

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > MoChArt

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mochart/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2008
Doron A. Peled, Michael J. Wooldridge:
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, ISBN 978-3-642-00430-8
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaLNR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaLNR08
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Time and Communication Costs of Rule-Based Reasoners. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/BakeraEKR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/BakeraEKR08
Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner:
Solving µ-Calculus Parity Games by Symbolic Planning. 15-33
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/EarleFIL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/EarleFIL08
Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma:
Verifying Robocup Teams. 34-48
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/EdelkampJK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/EdelkampJK08
Stefan Edelkamp, Shahid Jabbar, Peter Kissmann:
Scaling Search with Pattern Databases. 49-64
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/EdelkampSBWFA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/EdelkampSBWFA08
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar:
Survey on Directed Model Checking. 65-89
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/HavelundGHJS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/HavelundGHJS08
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. 90-105
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/LomuscioPQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/LomuscioPQ08
Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. 106-121
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/KatzP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/KatzP08
Gal Katz, Doron A. Peled:
Model Checking Driven Heuristic Search for Correct Programs. 122-131
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/SiminiceanuBM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/SiminiceanuBM08
Radu Siminiceanu, Ricky W. Butler, César A. Muñoz:
Experimental Evaluation of a Planning Language Suitable for Formal Verification. 132-146
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/SmausH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/SmausH08
Jan-Georg Smaus, Jörg Hoffmann:
Relaxation Refinement: A New Method to Generate Heuristic Functions. 147-165
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/TroquardHW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/TroquardHW08
Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge:
Model Checking Strategic Equilibria. 166-188

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.