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

9783540741275, 9783540741282

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

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

10.1007/978-3-540-74128-2_4 ◽

2007 ◽

pp. 51-66 ◽

Cited By ~ 9

Author(s):

Jörg Hoffmann ◽

Jan-Georg Smaus ◽

Andrey Rybalchenko ◽

Sebastian Kupferschmid ◽

Andreas Podelski

Keyword(s):

Predicate Abstraction

Download Full-text

Verifying Space and Time Requirements for Resource-Bounded Agents

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

10.1007/978-3-540-74128-2_2 ◽

2007 ◽

pp. 19-34

Author(s):

Natasha Alechina ◽

Piergiorgio Bertoli ◽

Chiara Ghidini ◽

Mark Jago ◽

Brian Logan ◽

...

Keyword(s):

Space And Time ◽

Time Requirements

Download Full-text

Automated Creation of Pattern Database Search Heuristics

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

10.1007/978-3-540-74128-2_3 ◽

2007 ◽

pp. 35-50 ◽

Cited By ~ 4

Author(s):

Stefan Edelkamp

Keyword(s):

Database Search ◽

Search Heuristics

Download Full-text

Real-Time Model Checking on Secondary Storage

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

10.1007/978-3-540-74128-2_5 ◽

2007 ◽

pp. 67-83 ◽

Cited By ~ 2

Author(s):

Stefan Edelkamp ◽

Shahid Jabbar

Keyword(s):

Model Checking ◽

Real Time ◽

Secondary Storage ◽

Time Model

Download Full-text

Symbolic Model Checking of Logics with Actions

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

10.1007/978-3-540-74128-2_8 ◽

2007 ◽

pp. 113-128 ◽

Cited By ~ 22

Author(s):

Charles Pecheur ◽

Franco Raimondi

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

A Framework for Model Checking Institutions

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

10.1007/978-3-540-74128-2_9 ◽

2007 ◽

pp. 129-145 ◽

Cited By ~ 4

Author(s):

Francesco Viganò

Keyword(s):

Model Checking

Download Full-text

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

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

10.1007/978-3-540-74128-2_1 ◽

2007 ◽

pp. 1-18 ◽

Cited By ~ 7

Author(s):

Piergiorgio Bertoli ◽

Marco Bozzano ◽

Alessandro Cimatti

Keyword(s):

Model Checking ◽

Safety Analysis ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

SAT-Based Verification of Security Protocols Via Translation to Networks of Automata

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

10.1007/978-3-540-74128-2_10 ◽

2007 ◽

pp. 146-165 ◽

Cited By ~ 3

Author(s):

Mirosław Kurkowski ◽

Wojciech Penczek ◽

Andrzej Zbrzezny

Keyword(s):

Security Protocols

Download Full-text

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

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

10.1007/978-3-540-74128-2_7 ◽

2007 ◽

pp. 95-112

Author(s):

Alessio Lomuscio ◽

Bożena Woźna ◽

Andrzej Zbrzezny

Keyword(s):

Model Checking ◽

Real Time ◽

Bounded Model Checking ◽

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Distributed Extended Beam Search for Quantitative Model Checking

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

10.1007/978-3-540-74128-2_11 ◽

2007 ◽

pp. 166-184 ◽

Cited By ~ 6

Author(s):

A. J. Wijs ◽

B. Lisser

Keyword(s):

Model Checking ◽

Quantitative Model ◽

Beam Search

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

Verifying Space and Time Requirements for Resource-Bounded Agents

Automated Creation of Pattern Database Search Heuristics

Real-Time Model Checking on Secondary Storage

Symbolic Model Checking of Logics with Actions

A Framework for Model Checking Institutions

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

SAT-Based Verification of Security Protocols Via Translation to Networks of Automata

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

Distributed Extended Beam Search for Quantitative Model Checking

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