-
Notifications
You must be signed in to change notification settings - Fork 17
References
Marcelo Forets edited this page Mar 16, 2020
·
45 revisions
- http://ljk.imag.fr/membres/Antoine.Girard/Publications/hscc2006a.pdf
- http://www.lsv.fr/~fribourg/MPRI_2019_Girard_Zonotopes.pdf
- http://khalilghorbal.info/assets/pdf/papers/cav2010.pdf
http://ceur-ws.org/Vol-2560/paper26.pdf
Tags: underapproximate, underapproximating, polynomial, semidefinite programming.
- https://github.com/JuliaReach/Reachability.jl/issues/416
- https://dl.acm.org/citation.cfm?id=3178133
- http://lcs.ios.ac.cn/~znj/papers/HSCC2018b.pdf
- https://arxiv.org/abs/1903.07274
- https://arxiv.org/pdf/1903.05311.pdf
- https://hal.archives-ouvertes.fr/hal-01650701/document
- https://www.ennoruijters.nl/imrmc.pdf
- https://ieeexplore.ieee.org/abstract/document/6225315
- https://ieeexplore.ieee.org/abstract/document/7353640
- https://www.ennoruijters.nl/imrmc.pdf
- https://arxiv.org/abs/2001.00080
- https://link.springer.com/chapter/10.1007/978-3-030-41131-2_6
- https://arxiv.org/abs/2003.05617
- https://arxiv.org/abs/2003.05912
- https://arxiv.org/pdf/2003.01226.pdf
- https://arxiv.org/abs/1610.06940
- https://arxiv.org/abs/1903.06758
- https://arxiv.org/pdf/2001.03662.pdf
- http://qav.comlab.ox.ac.uk/papers/hkww17.pdf
- https://arxiv.org/pdf/2003.02957.pdf
- https://arxiv.org/pdf/2003.02905.pdf
- https://dl.acm.org/doi/abs/10.1145/996566.996790
- https://arxiv.org/pdf/1904.02765.pdf
- https://arxiv.org/pdf/2002.04192.pdf
- http://www.i6.in.tum.de/Main/Publications/Elguindy2017b.pdf
- https://ieeexplore.ieee.org/abstract/document/8984475
- https://arxiv.org/abs/2001.11330
- https://link.springer.com/chapter/10.1007/978-3-030-41131-2_6-
- https://www.cs.cmu.edu/afs/cs/user/reids/www/verification/index.html
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.538.9218&rep=rep1&type=pdf