default search action

combined dblp search
author search
venue search
publication search

ask others

MoChArt 2010: Atlanta, GA, USA

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/2010
Ron van der Meyden, Jan-Georg Smaus:
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6572, Springer 2011, ISBN 978-3-642-20673-3
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/Geffner10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/Geffner10
Hector Geffner:
Planning with Incomplete Information - (Invited Paper). 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/EdelkampS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/EdelkampS10
Stefan Edelkamp, Damian Sulewski:
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. 12-31
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/EdelkampKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/EdelkampKS10
Stefan Edelkamp, Mark Kellershoff, Damian Sulewski:
Program Model Checking via Action Planning. 32-51
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/LomuscioQR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/LomuscioQR10
Alessio Lomuscio, Hongyang Qu, Francesco Russo:
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. 52-68
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/AlechinaLNR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/AlechinaLNR10
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. 69-84
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/KupfermanR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/KupfermanR10
Orna Kupferman, Adin Rosenberg:
The Blowup in Translating LTL to Deterministic Automata. 85-94
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/HuangLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/HuangLM10
Xiaowei Huang, Cheng Luo, Ron van der Meyden:
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. 95-111
- view
  authority control:
- export record
  dblp key:
  - conf/mochart/LuoSGWY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mochart/LuoSGWY10
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang:
Symbolic Model Checking the Knowledge in Herbivore Protocol. 112-129

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.