External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata

Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa. Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013. pages 1369-1376, 2013.

Authors

Luigi Di Guglielmo

This author has not been identified. Look up 'Luigi Di Guglielmo' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

Tiziano Villa

This author has not been identified. Look up 'Tiziano Villa' in Google
runs on