Google Research

Efficient controller synthesis for a fragment of MTL

  • Peter Bulychev
  • Alexandre David
  • Kim G. Larsen
  • Guangyuan Li
Acta Informatica, vol. 50 (2013), pp. 1-28

Abstract

No abstract available; check out the Download or Google Scholar links above for publications details.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work