Articles with public access mandates - Sanjit A. SeshiaLearn more
Not available anywhere: 3
Toward an internet of battlefield things: A resilience perspective
T Abdelzaher, N Ayanian, T Basar, S Diggavi, J Diesner, D Ganesan, ...
Computer 51 (11), 24-36, 2018
Mandates: US Department of Defense
Logical clustering and learning for time-series data
M Vazquez-Chanlatte, JV Deshmukh, X Jin, SA Seshia
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Mandates: US National Science Foundation, US Department of Defense
From interface automata to hypercontracts
I Incer, A Benveniste, A Sangiovanni-Vincentelli, SA Seshia
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Mandates: US National Science Foundation, US Department of Defense
Available somewhere: 114
Planning for autonomous cars that leverage effects on human actions.
D Sadigh, S Sastry, SA Seshia, AD Dragan
Robotics: Science and systems 2, 1-9, 2016
Mandates: US National Science Foundation
Active preference-based learning of reward functions
D Sadigh, A Dragan, S Sastry, S Seshia
Mandates: US National Science Foundation
On the utility of learning about humans for human-ai coordination
M Carroll, R Shah, MK Ho, T Griffiths, S Seshia, P Abbeel, A Dragan
Advances in neural information processing systems 32, 2019
Mandates: US National Science Foundation
Toward verified artificial intelligence
SA Seshia, D Sadigh, SS Sastry
Communications of the ACM 65 (7), 46-55, 2022
Mandates: US National Science Foundation, US Department of Defense
Scenic: a language for scenario specification and scene generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
Mandates: US National Science Foundation, US Department of Defense
Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach
Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ...
IEEE Transactions on Automatic Control 62 (10), 4917-4932, 2017
Mandates: US National Science Foundation, US Department of Defense
Compositional falsification of cyber-physical systems with machine learning components
T Dreossi, A Donzé, SA Seshia
Journal of Automated Reasoning 63 (4), 1031-1053, 2019
Mandates: US National Science Foundation, US Department of Defense
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
Mandates: US National Science Foundation, US Department of Defense
A lidar point cloud generator: from a virtual world to autonomous driving
X Yue, B Wu, SA Seshia, K Keutzer, AL Sangiovanni-Vincentelli
Proceedings of the 2018 ACM on international conference on multimedia …, 2018
Mandates: US National Science Foundation
Information gathering actions over human internal state
D Sadigh, SS Sastry, SA Seshia, A Dragan
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016
Mandates: US National Science Foundation
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51, 5-30, 2017
Mandates: US Department of Defense
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state
D Sadigh, N Landolfi, SS Sastry, SA Seshia, AD Dragan
Autonomous Robots 42, 1405-1426, 2018
Mandates: US National Science Foundation, US Department of Defense
Design automation of cyber-physical systems: Challenges, advances, and opportunities
SA Seshia, S Hu, W Li, Q Zhu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
Mandates: US National Science Foundation
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54, 693-726, 2017
Mandates: US National Science Foundation, US Department of Defense
Formal scenario-based testing of autonomous vehicles: From simulation to the real world
DJ Fremont, E Kim, YV Pant, SA Seshia, A Acharya, X Bruso, P Wells, ...
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
Mandates: US National Science Foundation, US Department of Defense
A formal foundation for secure remote execution of enclaves
P Subramanyan, R Sinha, I Lebedev, S Devadas, SA Seshia
Proceedings of the 2017 ACM SIGSAC conference on computer and communications …, 2017
Mandates: US National Science Foundation, US Department of Defense
SMT-based observer design for cyber-physical systems under sensor attacks
Y Shoukry, M Chong, M Wakaiki, P Nuzzo, A Sangiovanni-Vincentelli, ...
ACM Transactions on Cyber-Physical Systems 2 (1), 1-27, 2018
Mandates: US National Science Foundation, US Department of Defense
Publication and funding information is determined automatically by a computer program