Model Checking and Artificial Intelligence

>> Google Books

Model Checking and Artificial Intelligence / Stefan Edelkamp, Alessio Lomuscio, Jörg Siekmann

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540741275 [3540741275]
9783540741282 [3540741283]

書誌ID:

OB00499703

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

MODEL CHECKING & ARTIFICIAL INTELLIGENCE

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis / Piergiorgio Bertoli ; Marco Bozzano ; Alessandro Cimatti

Verifying Space and Time Requirements for Resource-Bounded Agents / Natasha Alechina ; Chiara Ghidini ; Mark Jago ; Brian Logan ; Luciano Serafini

Automated Creation of Pattern Database Search Heuristics / Stefan Edelkamp

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL / Jorg Hoffmann ; Jan-Georg Smaus ; Andrey Rybalchenko ; Sebastian Kupferschmid ; Andreas Podelski

Real-Time Model Checking on Secondary Storage / Shahid Jabbar

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning / Tadashi Araragi ; Seung Mo Cho

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation / Alessio Lomuscio ; Bozena Wozna ; Andrzej Zbrzezny

Symbolic Model Checking of Logics with Actions / Charles Pecheur ; Franco Raimondi

A Framework for Model Checking Institutions / Francesco Vigano

SAT-Based Verification of Security Protocols Via Translation to Networks of Automata / Miroslaw Kurkowski ; Wojciech Penczek

Distributed Extended Beam Search for Quantitative Model Checking / Anton J. Wijs ; Bert Lisser

Author Index

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis / Piergiorgio Bertoli ; Marco Bozzano ; Alessandro Cimatti

Verifying Space and Time Requirements for Resource-Bounded Agents / Natasha Alechina ; Chiara Ghidini ; Mark Jago ; Brian Logan ; Luciano Serafini

Automated Creation of Pattern Database Search Heuristics / Stefan Edelkamp

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL / Jorg Hoffmann ; Jan-Georg Smaus ; Andrey Rybalchenko ; Sebastian Kupferschmid ; Andreas Podelski

Real-Time Model Checking on Secondary Storage / Shahid Jabbar

Checking Liveness Properties of Concurrent Systems by Reinforcement Learning / Tadashi Araragi ; Seung Mo Cho

続きを見る

ブックレビュー

類似資料:

1 電子ブック Model Checking and Artificial Intelligence Edelkamp, Stefan, Lomuscio, Alessio, Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Artificial Intelligence: Theories, Models and Applications Darzentas, John, Arnellos, Argyris, Siekmann, Jörg, Vosinakis, Spyros, Vouros, George A., Vouros, George SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Model Checking Software Carbonell, Jaime G., Siekmann, Jörg, Edelkamp, Stefan SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Model Checking and Artificial Intelligence Peled, Doron A., Kanade, Takeo, Wooldridge, Michael J. Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Modeling Decisions for Artificial Intelligence Torra, Vicenç, Narukawa, Yasuo, Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Model Checking and Artificial Intelligence Meyden, Ron, Kanade, Takeo, Smaus, Jan-Georg Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Modeling Decisions for Artificial Intelligence Torra, Vicenç, Narukawa, Yasuo, Siekmann, Jörg, Yoshida, Yuji SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Model Checking and Artificial Intelligence Peled, Doron A., Kanade, Takeo, Wooldridge, Michael J., Kittler, Josef, Wooldridge, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック KI 2011: Advances in Artificial Intelligence Bach, Joscha, Edelkamp, Stefan, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Model Checking and Artificial Intelligence Meyden, Ron, Kanade, Takeo, Smaus, Jan-Georg, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Advances in Artificial Intelligence Bergler, Sabine, Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 電子ブック KI 2011: Advances in Artificial Intelligence Bach, Joscha, Edelkamp, Stefan, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12