fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Edelkamp / Lomuscio

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Medium: Buch
ISBN: 978-3-540-74127-5
Verlag: Springer
Erscheinungstermin: 09.08.2007
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

Produkteigenschaften

  • Artikelnummer: 9783540741275
  • Medium: Buch
  • ISBN: 978-3-540-74127-5
  • Verlag: Springer
  • Erscheinungstermin: 09.08.2007
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2007
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 640 g
  • Seiten: 185
  • Format (B x H): 155 x 235 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.- Verifying Space and Time Requirements for Resource-Bounded Agents.- Automated Creation of Pattern Database Search Heuristics.- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.- Real-Time Model Checking on Secondary Storage.- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning.- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.- Symbolic Model Checking of Logics with Actions.- A Framework for Model Checking Institutions.- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.- Distributed Extended Beam Search for Quantitative Model Checking.