Using Model Checking to Validate AI Planner Domain Models

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Unknown venue

• Publication date

  1999-06-01

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Protocol Veri(cid:12)cation as a Hardware Design Aid (cid:3)

  2021influential reference
• Planning via Model Checking: A Decision Procedure for AR

  1997cited by this paper
• HSTS: Integrating Planning and Scheduling

  1993cited by this paper
• Symbolic model checking: 1020 states and beyond

  1989cited by this paper
• Towards a General Theory of Action and Time

  1984cited by this paper

• Mutation‐Guided Metamorphic Testing of Optimality in AI Planning

  2024cites this paper
• The Power of Reformulation: From Validation to Planning in PDDL+

  2022cites this paper
• Proof-Carrying Plans: a Resource Logic for AI Planning

  2020cites this paper
• A Verified Compositional Algorithm for AI Planning

  2019cites this paper
• Goal-constrained planning domain model verification of safety properties

  2018cites this paper
• Verification of Planning Domain Models - Revisited ⋆

  2018cites this paper
• Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic

  2017cites this paper
• Safety-critical advanced robots: A survey

  2017cites this paper
• Engineering Knowledge for Automated Planning: Towards a Notion of Quality

  2017cites this paper
• Modelo de landmarks temporales para problemas de planificación temporal altamente restringidos

  2016influential citation
• Fault tolerant planning: towards dependable autonomous robots

  2015cites this paper
• A Method for Validating Intent Model Behavior in DSVMs

  2015cites this paper
• Trusting robots : Contributions to dependable autonomous collaborative robotic systems. (Vers des robots collaboratifs autonomes sûrs de fonctionnement)

  2015cites this paper
• Verification and validation meet planning and scheduling

  2014cites this paper
• Verification & Validation Meets Planning & Scheduling

  2013cites this paper
• Tolerance of Design Faults

  2011cites this paper
• Validation and Verification Issues in a Timeline-Based Planning System

  2010cites this paper
• A Survey on Temporal Logics

  2010cites this paper
• Software Requirements Standards Software Design Standards Software Code Standards Software Requirements Data Software Design Description Source Code Executable Object Code Software Verification Cases and Procedures Software Verification

  2010influential citation
• Planning Domains and Plans: Validation, Verification and Analysis

  2009cites this paper
• A formal analysis of requirements-based testing

  2009cites this paper
• PDVer, a Tool to Verify PDDL Planning Domains

  2009cites this paper
• Creating automated plans for Semantic Web applications through planning as model checking

  2009cites this paper
• Automated Testing of Planning Models

  2009cites this paper
• Extending Classical Planning for Time: Research Trends in Optimal and Suboptimal Temporal Planning

  2008cites this paper
• Planning with Diversified Models for Fault-Tolerant Robots

  2007cites this paper
• Testing Planning Domains (without Model Checkers)

  2007cites this paper
• A logic based approach to use case based requirement verification and domain model improvement

  2007cites this paper
• MBT 2007 Third Workshop on Model-Based Testing

  2007cites this paper
• Veri(cid:12)cation of plan models using UPPAAL

  2007cites this paper
• Independent Safety Systems for Autonomy : State of the Art and Future Directions

  2006cites this paper
• Emerging Technologies for V&V of ISHM Software for Space Exploration

  2006influential citation
• Formal Verification of Autonomy Models

  2006cites this paper
• Model Checking Autonomous Planners: Even the B est L aid P lans M ust be V erified

  2005cites this paper
• Runtime verification for autonomous spacecraft software

  2005cites this paper
• ARoadMapofIntervalTemporal Logicsand Duration Calculi

  2004cites this paper
• Model Checking Autonomous Planners : Even the best laid plans must be verified

  2004cites this paper
• Propositional Interval Neighborhood Temporal Logics

  2003cites this paper
• A Road Map on Interval Temporal Logics and Duration Calculi

  2003cites this paper
• Validating planning domain models using B-AMN

  2002cites this paper
• Mapping temporal planning constraints into timed automata

  2001cites this paper
• Veri(cid:12)cation of plan models using UPPAAL

  2000cites this paper
• Verification and Validation of Autonomy Software at NASA

  2000cites this paper
• Verification of Plan Models Using UPPAAL

  2000cites this paper
• Validating Planning Domain Models Using B-amn Original Citation Validating Planning Domain Models Using B-amn

  year unknowncites this paper
• University of

  year unknowncites this paper
• A Verified Compositional Algorithm for AI Planning

  year unknowncites this paper