1
by Van Hentenryck, Pascal
Published 2006
MIT Press

2
by Grünwald, Peter D.
Published 2007
MIT Press

3
by Johnston, John
Published 2008
MIT Press

5
by Gerovitch, Slava
Published 2002
MIT Press

6
Published 2014
The MIT Press

7
by Holland, John H.
Published 2012
MIT Press

8
by Kochenderfer, Mykel J.
Published 2015
The MIT Press

9
by Halpern, Joseph Y.
Published 2017
The MIT Press

10
by Wiener, Norbert
Published 2019
MIT Press

11
by Mackenzie, Adrian
Published 2017
The MIT Press