Reachability Analysis via Orthogonal Sets of Patterns

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 01, 2018
Source ID
10.1016/j.entcs.2018.03.007

Entities

People

  • Jérôme Feret
  • Kim Quyên Lý

Organizations

  • Army Research Office
  • Defense Advanced Research Projects Agency