Robust Model Checking of Timed Automata under Clock Drifts

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 13, 2017
Source ID
10.1145/3049797.3049821

Entities

People

  • Mahesh Viswanathan
  • Nima Roohi
  • Pavithra Prabhakar

Organizations

  • Air Force Office of Scientific Research
  • Kansas State University
  • National Science Foundation
  • University of Illinois Urbana–Champaign