Publications

Filtered as: all types - all years - all authors - keyword: Control systems
Sorted by: author
Corresponding bibtex list 

Franchetti, Franz 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Franusich, M. 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Gui, Liangyan 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Johnson, Jeremy 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Kar, Soummya 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Low, Tze-Meng 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Mendoza, Juan Pablo 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Mitsch, Stefan 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Moura, José M. F. 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Padua, David 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Phaosawasdi, Amarin 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Platzer, Andre' 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Veloso, Manuela 

1. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007