Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NEW YORK UNIVERSITY ABU DHABI
- Technical University of Munich
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- CNRS
- Hanyang University
- Linköpings University
- McGill University
- Rutgers University
- The Hebrew University of Jerusalem
- Universite de Montpellier
- University of Groningen
- University of Southern Denmark
- Université Grenoble Alpes
- 3 more »
- « less
-
Field
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
Searches related to computional geometry algorithm
Enter an email to receive alerts for computional-geometry-algorithm positions