Stephen Prajna (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Stephen Prajna, Anders Rantzer: Primal-Dual Tests for Safety and Reachability. HSCC 2005: 542-556

Selection of 1 from 3 records - Stephen Prajna has 2 coauthors