Time window temporal logic

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2017
Source ID
10.1016/j.tcs.2017.07.012

Entities

People

  • Calin Belta
  • Cristian-Ioan Vasile
  • Derya Aksaray

Organizations

  • National Science Foundation
  • Office of Naval Research