Model Checking and Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642206733, 9783642206740

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Data-Abstraction in Model Checking Multi-Agent Systems

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_4 ◽

2011 ◽

pp. 52-68 ◽

Cited By ~ 2

Author(s):

Alessio Lomuscio ◽

Hongyang Qu ◽

Francesco Russo

Keyword(s):

Model Checking ◽

Data Abstraction ◽

Multi Agent Systems ◽

Automatic Data ◽

Agent Systems ◽

Multi Agent

Download Full-text

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_7 ◽

2011 ◽

pp. 95-111 ◽

Cited By ~ 5

Author(s):

Xiaowei Huang ◽

Cheng Luo ◽

Ron van der Meyden

Keyword(s):

Model Checking ◽

Epistemic Logic ◽

Bounded Model Checking ◽

Branching Time

Download Full-text

Symbolic Model Checking the Knowledge in Herbivore Protocol

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_8 ◽

2011 ◽

pp. 112-129 ◽

Cited By ~ 1

Author(s):

Xiangyu Luo ◽

Kaile Su ◽

Ming Gu ◽

Lijun Wu ◽

Jinji Yang

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Planning with Incomplete Information

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_1 ◽

2011 ◽

pp. 1-11

Author(s):

Hector Geffner

Keyword(s):

Incomplete Information

Download Full-text

The Blow-Up in Translating LTL to Deterministic Automata

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_6 ◽

2011 ◽

pp. 85-94 ◽

Cited By ~ 6

Author(s):

Orna Kupferman ◽

Adin Rosenberg

Keyword(s):

Blow Up ◽

Deterministic Automata

Download Full-text

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_5 ◽

2011 ◽

pp. 69-84 ◽

Cited By ~ 3

Author(s):

Natasha Alechina ◽

Brian Logan ◽

Hoang Nga Nguyen ◽

Abdur Rakib

Keyword(s):

Automated Verification ◽

Multi Agent Systems ◽

Agent Systems ◽

Resource Requirements ◽

Multi Agent

Download Full-text

Program Model Checking via Action Planning

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_3 ◽

2011 ◽

pp. 32-51 ◽

Cited By ~ 1

Author(s):

Stefan Edelkamp ◽

Mark Kellershoff ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

Action Planning ◽

Program Model

Download Full-text

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20674-0_2 ◽

2011 ◽

pp. 12-31 ◽

Cited By ~ 3

Author(s):

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

External Memory ◽

Breadth First Search ◽

Duplicate Detection

Download Full-text

Model Checking and Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Data-Abstraction in Model Checking Multi-Agent Systems

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic

Symbolic Model Checking the Knowledge in Herbivore Protocol

Planning with Incomplete Information

The Blow-Up in Translating LTL to Deterministic Automata

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Program Model Checking via Action Planning

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications