Model-Based Validation of Intelligence
Contents
Monte-Carlo Simulation for Automatic Synthesis of Verified Real-Time Controllers
PDFMechanical A-posteriori Verification of Results: A Case Study for a Safety Critical AI System
PDFDetermining Software Models that Are Less Incorrect
PDFHeavy-Tailed Behavior and Randomization in Proof Planning
PDFProtocol Verification with Heuristic Search
PDFHybrid Modeling for Scenario-Based Evaluation of Failure Effects in Advanced Hardware-Software Designs
PDFDirected Symbolic Exploration in AI-Planning
PDFModeling the LOGOS Multi-Agent System with CSP
PDFModel Checking Autonomy Models for a Martian Propellant Production Plant
PDFKnowledge Base Semantic Verification Based on Contexts Propagation
PDFMotivations for Model Checking of a Fault Protection System
PDFValidation of Intelligence in Large Rule-Based Systems with Common Sense
PDFAverage Case Coverage for Validation of AI Systems
PDFUsing Model Checking for Pre-Planning Analysis
PDFVerification of Process Plant Models
PDFTest Oracle Automation for V&V of an Autonomous Spacecraft’s Planner
PDFModel-Based Verification for Automatic Synthesis of Real-Time Controllers
PDFCombining Abduction and Model Checking Techniques for Repair of Concurrent Programs
PDFGuiding and Cost-Optimality in UPPAAL
PDF