Safety Verification for Impulsive Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2020
Source ID
10.1016/j.ifacol.2020.12.2589

Entities

People

  • Petro Feketa
  • Sergiy Bogomolov
  • Thomas Meurer

Organizations

  • Air Force Office of Scientific Research
  • German Research Foundation