Login / Signup

Contract-Based Specification Refinement and Repair for Mission Planning.

Piergiuseppe MallozziInigo IncerPierluigi NuzzoAlberto L. Sangiovanni-Vincentelli
Published in: CoRR (2022)
Keyphrases
  • mission planning
  • decision making
  • high level
  • damage assessment
  • supply chain
  • specification language
  • formal verification
  • data sets
  • neural network
  • user defined
  • step wise