Relational Differential Dynamic Logic.

Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Browse the full TACAS paper archive.