Login / Signup

A program logic to verify signal temporal logic specifications of hybrid systems.

Hammad AhmadJean-Baptiste Jeannin
Published in: HSCC (2021)
Keyphrases