Login / Signup

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.

Andreas KatisGrigory FedyukovichHuajun GuoAndrew GacekJohn BackesArie GurfinkelMichael W. Whalen
Published in: TACAS (2) (2018)
Keyphrases