BibSLEIGH — ymaera stem

Used together with:

Stem ymaera$ (all stems)

CADE-2015-FultonMQVP #axiom #hybrid #proving #theorem proving: KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (NF, SM, JDQ, MV, AP), pp. 527–538.
IJCAR-2012-QueselP #game studies #hybrid: Playing Hybrid Games with KeYmaera (JDQ, AP), pp. 439–453.
IJCAR-2008-PlatzerQ #hybrid #named #proving #theorem proving: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (AP, JDQ), pp. 171–178.