Model checking and artificial intelligence
Authors
Parameters
More about the book
InhaltsverzeichnisA 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.
Book purchase
Model checking and artificial intelligence, Stefan Edelkamp
- Language
- Released
- 2007
Payment methods
- Title
- Model checking and artificial intelligence
- Language
- English
- Authors
- Stefan Edelkamp
- Publisher
- Springer
- Released
- 2007
- ISBN10
- 3540741275
- ISBN13
- 9783540741275
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisA 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.