Resilience to intermittent assumption violations in reactive synthesis

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 15, 2014
Source ID
10.1145/2562059.2562128

Entities

People

  • Rüdiger Ehlers
  • Ufuk Topcu

Organizations

  • Air Force Office of Scientific Research
  • Division of Computing and Communication Foundations
  • European Research Council
  • Office of Naval Research
  • University of Bremen
  • University of Pennsylvania