Theses most similar to those of author Tůmová, Jana
Algorithms for minimum-violation planning with formal specifications (2014) read it
- Advisor: Munther A. Dahleh
- Department of Electrical Engineering and Computer Science
Variable block length coding for channels with feedback and cost constraints
Nakiboḡlu, Bariş (2005)
- Advisors: Moe Z. Win; Robert R. Gallage
- Department of Electrical Engineering and Computer Science
Adaptive robust optimization with applications in inventory and revenue management
Iancu, Dan Andrei (2010)
- Advisor: Dimitris Bertsimas Pablo A. Parrilo
- Operations Research Center
- Advisor: Lizhong Zheng
- Department of Electrical Engineering and Computer Science
- Advisor: Emilio Frazzoli
- Department of Electrical Engineering and Computer Science
Fast, approximate state estimation of concurrent probabilistic hybrid automata
Timmons, Eric (Eric M.) (2013)
- Advisor: Brian C. Williams
- Department of Aeronautics and Astronautics
- Advisor: Brian C. Williams
- Department of Electrical Engineering and Computer Science
- Advisor: Dimitris Bertsimas Pablo A. Parrilo
- Operations Research Center
Automated synthesis of low-rank stochastic dynamical systems using the tensor-train decomposition
Alora, John Irvin P (2016)
- Advisor: Sertac Karaman
- Department of Aeronautics and Astronautics
Algorithms for autonomous urban navigation with formal specifications
Chaudhari, Pratik (Pratik Anil) (2014)
- Advisor: Emilio Frazzoli
- Department of Aeronautics and Astronautics