Buch, Englisch, Band 5348, 189 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 314 g
Buch, Englisch, Band 5348, 189 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 314 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-00430-8
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
Weitere Infos & Material
Verifying Time and Communication Costs of Rule-Based Reasoners.- Solving ?-Calculus Parity Games by Symbolic Planning.- Verifying Robocup Teams.- Scaling Search with Pattern Databases.- Survey on Directed Model Checking.- Automated Testing of Planning Models.- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.- Model Checking Driven Heuristic Search for Correct Programs.- Experimental Evaluation of a Planning Language Suitable for Formal Verification.- Relaxation Refinement: A New Method to Generate Heuristic Functions.- Model Checking Strategic Equilibria.