Login / Signup
Aakash Deshpande
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
False Alarms
Detection Accuracy
Hough Transform
Model Checking
Top Venues
CoRR
</>
Publications
</>
Aakash Deshpande
,
Frédéric Herbreteau
,
B. Srivathsan
,
Thanh-Tung Tran
,
Igor Walukiewicz
Fast detection of cycles in timed automata.
CoRR
(2014)