Model-Based Validation of Intelligence

Contents

• Monte-Carlo Simulation for Automatic Synthesis of Verified Real-Time Controllers

  Christopher W. Geib, Robert P. Goldman, and David J. Musliner

  PDF

• Knowledge Base Semantic Verification Based on Contexts Propagation

  Jaime Ramirez and Angélica de Antonio

  PDF

• Model Checking Autonomy Models for a Martian Propellant Production Plant

  Peter Engrand

  PDF

• Modeling the LOGOS Multi-Agent System with CSP

  Christopher A. Rouff and Michael G. Hinchey

  PDF

• Directed Symbolic Exploration in AI-Planning

  Stefan Edelkamp

  PDF

• Hybrid Modeling for Scenario-Based Evaluation of Failure Effects in Advanced Hardware-Software Designs

  Jane T. Malin, Land D. Fleming, and David R. Throop

  PDF

• Protocol Verification with Heuristic Search

  Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue

  PDF

• Heavy-Tailed Behavior and Randomization in Proof Planning

  Andreas Meier, Carla Gomes, and Erica Melis

  PDF

• Determining Software Models that Are Less Incorrect

  Leona F. Fass

  PDF

• Mechanical A-posteriori Verification of Results: A Case Study for a Safety Critical AI System

  Roy Bartsch and Wolfgang Goerigk

  PDF

• Motivations for Model Checking of a Fault Protection System

  Martin S. Feather and Stephen S. Fickas

  PDF

• Guiding and Cost-Optimality in UPPAAL

  Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn

  PDF

• Combining Abduction and Model Checking Techniques for Repair of Concurrent Programs

  Francesco Buccafurri, Thomas Eiter, Georg Gottlob, and Nicola Leone

  PDF

• Model-Based Verification for Automatic Synthesis of Real-Time Controllers

  Robert P. Goldman, David J. Musliner, and Michael J. S. Pelican

  PDF

• Test Oracle Automation for V&V of an Autonomous Spacecraft’s Planner

  Martin S. Feather and Ben Smith

  PDF

• Verification of Process Plant Models

  Claire Palmer and Paul W. H. Chung

  PDF

• Using Model Checking for Pre-Planning Analysis

  Maria Fox, Derek Long, Stephen Bradley, and James McKinna

  PDF

• Average Case Coverage for Validation of AI Systems

  Tim Menzies and Bojan Cukic

  PDF

• Validation of Intelligence in Large Rule-Based Systems with Common Sense

  William Jarrold

  PDF