8000 Releases · stanleybak/hylaa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: stanleybak/hylaa

version implementing the results our EMSOFT 2019 paper

31 Jul 19:22
@stanleybak stanleybak
EMSOFT2019-version
a322275
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
version implementing the results our EMSOFT 2019 paper Latest
Latest

"Aggregation Strategies in Reachable Set Computation of Hybrid Systems", P. Duggirala and S. Bak, 16th ACM SIGBED International Conference on Embedded Software (EMSOFT 2019): http://stanleybak.com/papers/duggirala2019emsoft.pdf

Assets 2
Loading
0