• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 2001 AAAI Spring Symposium /

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
  • Mechanical A-posteriori Verification of Results: A Case Study for a Safety Critical AI System

    Roy Bartsch and Wolfgang Goerigk

    PDF
  • Determining Software Models that Are Less Incorrect

    Leona F. Fass

    PDF
  • Heavy-Tailed Behavior and Randomization in Proof Planning

    Andreas Meier, Carla Gomes, and Erica Melis

    PDF
  • Protocol Verification with Heuristic Search

    Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue

    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
  • Directed Symbolic Exploration in AI-Planning

    Stefan Edelkamp

    PDF
  • Modeling the LOGOS Multi-Agent System with CSP

    Christopher A. Rouff and Michael G. Hinchey

    PDF
  • Model Checking Autonomy Models for a Martian Propellant Production Plant

    Peter Engrand

    PDF
  • Knowledge Base Semantic Verification Based on Contexts Propagation

    Jaime Ramirez and Angélica de Antonio

    PDF
  • Motivations for Model Checking of a Fault Protection System

    Martin S. Feather and Stephen S. Fickas

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

    William Jarrold

    PDF
  • Average Case Coverage for Validation of AI Systems

    Tim Menzies and Bojan Cukic

    PDF
  • Using Model Checking for Pre-Planning Analysis

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

    PDF
  • Verification of Process Plant Models

    Claire Palmer and Paul W. H. Chung

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

    Martin S. Feather and Ben Smith

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

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

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

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

    PDF
  • Guiding and Cost-Optimality in UPPAAL

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

    PDF

Primary Sidebar