Document Preview
  • Full Text
  • Dissertation or Thesis

Trajectory-Based Temporal Logic Analysis: Inference, Robust Testing and Controller Synthesis

. 
 Rensselaer Polytechnic Institute ProQuest Dissertations & Theses,  2018. 10791083.