Login / Signup

A Compositional Approach to Reactive Games under Temporal Logic Specifications.

Abhishek Ninad KulkarniJie Fu
Published in: ACC (2018)
Keyphrases