1. Temporal logic robustness for general signal classes
2. LNCS;Akazaki Takumi,2015
3. Derya Aksaray , Austin Jones , Zhaodan Kong, Mac Schwager, and Calin Belta. Q-learning for robust satisfaction of signal temporal logic specifications . In CDC. IEEE , 2016 . Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, and Calin Belta. Q-learning for robust satisfaction of signal temporal logic specifications. In CDC. IEEE, 2016.
4. Raman Arora , Amitabh Basu , Poorya Mianjy , and Anirbit Mukherjee . Understanding deep neural networks with rectified linear units. CoRR, abs/1611.01491 , 2016 . Raman Arora, Amitabh Basu, Poorya Mianjy, and Anirbit Mukherjee. Understanding deep neural networks with rectified linear units. CoRR, abs/1611.01491, 2016.
5. Specification and Efficient Monitoring Beyond STL