Merkzettel Warenkorb
Produktbild: Model Checking and Artificial Intelligence
Band 4428

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

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2007

Herausgeber

Stefan Edelkamp + weitere

Verlag

Springer Berlin

Seitenzahl

185

Maße (L/B/H)

24,2/15,6/1,5 cm

Gewicht

290 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-74127-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.08.2007

Herausgeber

Verlag

Springer Berlin

Seitenzahl

185

Maße (L/B/H)

24,2/15,6/1,5 cm

Gewicht

290 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-74127-5

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Model Checking and Artificial Intelligence
  • 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.