BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
S.A.Seshia D.Sadigh W.Li
Talks about:
synthesi (1) control (1) autonom (1) system (1) method (1) formal (1) human (1) drive (1) semi (1) loop (1)

Person: S. Shankar Sastry

DBLP DBLP: Sastry:S=_Shankar

Contributed to:

DAC 20152015
TACAS 20142014

Wrote 2 papers:

DAC-2015-SeshiaSS #formal method
Formal methods for semi-autonomous driving (SAS, DS, SSS), p. 5.
TACAS-2014-LiSSS #synthesis
Synthesis for Human-in-the-Loop Control Systems (WL, DS, SSS, SAS), pp. 470–484.

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.