Synthesis of reactive controllers for hybrid systems (keynote)
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Richard M. Murray
Synthesis of reactive controllers for hybrid systems (keynote)
POPL, 2016.

POPL 2016
DBLP
Scholar
?EE?
DOI
Full names Links ISxN
@inproceedings{POPL-2016-Murray,
	author        = "Richard M. Murray",
	booktitle     = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}",
	doi           = "10.1145/2837614.2843894",
	ee            = "https://www.wikidata.org/entity/Q59813825",
	isbn          = "978-1-4503-3549-2",
	pages         = "3",
	publisher     = "{ACM}",
	title         = "{Synthesis of reactive controllers for hybrid systems (keynote)}",
	year          = 2016,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.