Edit Profile (opens in new tab) Seshia, Sanjit Arunkumar Compute Distance To: Compute Author ID: seshia.sanjit-arunkumar Published as: Seshia, Sanjit A.; Seshia, Sanjit Arunkumar Documents Indexed: 46 Publications since 2002, including 1 Book 2 Contributions as Editor Co-Authors: 67 Co-Authors with 48 Joint Publications 1,601 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Bryant, Randal E. 6 Donzé, Alexandre 5 Jha, Susmit 5 Sangiovanni-Vincentelli, Alberto L. 4 Lahiri, Shuvendu Kumar 4 Raman, Vasumathi 3 Arcak, Murat 3 Deshmukh, Jyotirmoy V. 3 Ghosh, Shromona 3 Jin, Xiaoqing 3 Junges, Sebastian 3 Kim, Eric S. 3 Nuzzo, Pierluigi 3 Sadigh, Dorsa 3 Shoukry, Yasser 3 Strichman, Ofer 3 Tabuada, Paulo 3 Vazquez-Chanlatte, Marcell 2 Brady, Bryan A. 2 Flanagan, Cormac 2 Fremont, Daniel J. 2 Jha, Somesh 2 Kröning, Daniel 2 Ouaknine, Joel O. 2 Pappas, George J. 2 Polgreen, Elizabeth 2 Puggelli, Alberto 2 Qadeer, Shaz 1 Alexandru, Andreea B. 1 Bansal, Somil 1 Dreossi, Tommaso 1 Ehlers, Rüdiger 1 Freund, Stephen Neal 1 Gatsis, Konstantinos 1 Gurfinkel, Arie 1 Harris, William R. 1 Holtzen, Steven 1 Jaeger, Trent 1 Jansen, Nils 1 Juniwal, Garvit 1 King, Dave 1 Kress-Gazit, Hadas 1 Lafortune, Stéphane 1 Lee, Edward Ashford 1 Madhusudan, Parthasarathy 1 Millstein, Todd D. 1 Mora, Federico 1 Mull, Nathan 1 Murray, Richard M. 1 Muthukumaran, Divya 1 Pimpalkhare, Nikhil 1 Rabe, Markus N. 1 Rawlings, Blake C. 1 Reps, Thomas W. 1 Reynolds, Andrew 1 Sahai, Tuhin 1 Sastry, S. Shankar 1 Shankar, Natarajan 1 Sharygina, Natasha 1 Subramani, Krishnan 1 Tiwari, Ashish Kumar 1 Tomlin, Claire J. 1 Torfah, Hazem 1 Tripakis, Stavros 1 Van Den Broeck, Guy 1 Wessel, David 1 Wu, Yi-Chin all top 5 Serials 3 Journal of Automated Reasoning 3 Formal Methods in System Design 2 IEEE Transactions on Automatic Control 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Automatica 1 Theoretical Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science all top 5 Fields 45 Computer science (68-XX) 12 Systems theory; control (93-XX) 10 Mathematical logic and foundations (03-XX) 5 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 38 Publications have been cited 211 times in 178 Documents Cited by ▼ Year ▼ Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo 22 2017 Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. Zbl 1010.68522Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A. 20 2002 Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A. 15 2015 Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan 13 2007 Deciding separation formulas with SAT. Zbl 1010.68168Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E. 12 2002 Introduction to embedded systems. A cyber-physical systems approach. 2nd edition. Zbl 1371.68001Lee, Edward Ashford; Seshia, Sanjit Arunkumar 11 2017 A theory of formal synthesis via inductive learning. Zbl 1380.68124Jha, Susmit; Seshia, Sanjit A. 9 2017 Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010Seshia, Sanjit A.; Bryant, Randal E. 7 2005 The UCLID decision procedure. Zbl 1103.68628Lahiri, Shuvendu K.; Seshia, Sanjit A. 7 2004 Synthesis with identifiers. Zbl 1428.68183Ehlers, Rüdiger; Seshia, Sanjit A.; Kress-Gazit, Hadas 7 2014 Symbolic reachability analysis of lazy linear hybrid automata. Zbl 1141.93352Jha, Susmit; Brady, Bryan A.; Seshia, Sanjit A. 6 2007 Incremental determinization. Zbl 1475.68222Rabe, Markus N.; Seshia, Sanjit A. 6 2016 Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 6 2017 On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E. 5 2007 Modeling and verification of out-of-order microprocessors in UCLID. Zbl 1019.68623Lahiri, Shuvendu K.; Seshia, Sanjit A.; Bryant, Randal E. 5 2002 Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A. 5 2013 Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A. 5 2018 Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027 4 2012 Mining requirements from closed-loop control models. Zbl 1362.93008Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A. 4 2013 Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer 4 2004 On the hardness of SAT with community structure. Zbl 1475.68353Mull, Nathan; Fremont, Daniel J.; Seshia, Sanjit A. 4 2016 TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan 4 2019 SMC: satisfiability modulo convex optimization. Zbl 1366.68102Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo 3 2017 Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A. 3 2016 A modular checker for multithreaded programs. Zbl 1010.68501Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A. 3 2002 Modular verification of multithreaded programs. Zbl 1108.68080Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A. 3 2005 Symbolic control design for monotone systems with directed specifications. Zbl 1373.93119Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 3 2017 Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A. 2 2019 A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire 2 2019 Safe autonomy under perception uncertainty using chance-constrained temporal logic. Zbl 1425.93202Jha, Susmit; Raman, Vasumathi; Sadigh, Dorsa; Seshia, Sanjit A. 2 2018 Modeling for verification. Zbl 1392.68264Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros 2 2018 Convergence testing in term-level bounded model checking. Zbl 1179.68079Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A. 1 2003 A small gain theorem for parametric assume-guarantee contracts. Zbl 1366.68174Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 1 2017 Directed specifications and assumption mining for monotone dynamical systems. Zbl 1366.68173Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 1 2016 Maximum causal entropy specification inference from demonstrations. Zbl 1478.68301Vazquez-Chanlatte, Marcell; Seshia, Sanjit A. 1 2020 Cloud-based quadratic optimization with partially homomorphic encryption. Zbl 07352162Alexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J. 1 2021 MedleySolver: online SMT algorithm selection. Zbl 07495591Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A. 1 2021 Logical clustering and learning for time-series data. Zbl 1494.68232Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A. 1 2017 Cloud-based quadratic optimization with partially homomorphic encryption. Zbl 07352162Alexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J. 1 2021 MedleySolver: online SMT algorithm selection. Zbl 07495591Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A. 1 2021 Maximum causal entropy specification inference from demonstrations. Zbl 1478.68301Vazquez-Chanlatte, Marcell; Seshia, Sanjit A. 1 2020 TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan 4 2019 Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A. 2 2019 A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire 2 2019 Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A. 5 2018 Safe autonomy under perception uncertainty using chance-constrained temporal logic. Zbl 1425.93202Jha, Susmit; Raman, Vasumathi; Sadigh, Dorsa; Seshia, Sanjit A. 2 2018 Modeling for verification. Zbl 1392.68264Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros 2 2018 Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo 22 2017 Introduction to embedded systems. A cyber-physical systems approach. 2nd edition. Zbl 1371.68001Lee, Edward Ashford; Seshia, Sanjit Arunkumar 11 2017 A theory of formal synthesis via inductive learning. Zbl 1380.68124Jha, Susmit; Seshia, Sanjit A. 9 2017 Robust online monitoring of signal temporal logic. Zbl 1370.68199Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. 6 2017 SMC: satisfiability modulo convex optimization. Zbl 1366.68102Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo 3 2017 Symbolic control design for monotone systems with directed specifications. Zbl 1373.93119Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 3 2017 A small gain theorem for parametric assume-guarantee contracts. Zbl 1366.68174Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 1 2017 Logical clustering and learning for time-series data. Zbl 1494.68232Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A. 1 2017 Incremental determinization. Zbl 1475.68222Rabe, Markus N.; Seshia, Sanjit A. 6 2016 On the hardness of SAT with community structure. Zbl 1475.68353Mull, Nathan; Fremont, Daniel J.; Seshia, Sanjit A. 4 2016 Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A. 3 2016 Directed specifications and assumption mining for monotone dynamical systems. Zbl 1366.68173Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A. 1 2016 Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A. 15 2015 Synthesis with identifiers. Zbl 1428.68183Ehlers, Rüdiger; Seshia, Sanjit A.; Kress-Gazit, Hadas 7 2014 Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A. 5 2013 Mining requirements from closed-loop control models. Zbl 1362.93008Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A. 4 2013 Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027 4 2012 Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan 13 2007 Symbolic reachability analysis of lazy linear hybrid automata. Zbl 1141.93352Jha, Susmit; Brady, Bryan A.; Seshia, Sanjit A. 6 2007 On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E. 5 2007 Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010Seshia, Sanjit A.; Bryant, Randal E. 7 2005 Modular verification of multithreaded programs. Zbl 1108.68080Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A. 3 2005 The UCLID decision procedure. Zbl 1103.68628Lahiri, Shuvendu K.; Seshia, Sanjit A. 7 2004 Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer 4 2004 Convergence testing in term-level bounded model checking. Zbl 1179.68079Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A. 1 2003 Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. Zbl 1010.68522Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A. 20 2002 Deciding separation formulas with SAT. Zbl 1010.68168Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E. 12 2002 Modeling and verification of out-of-order microprocessors in UCLID. Zbl 1019.68623Lahiri, Shuvendu K.; Seshia, Sanjit A.; Bryant, Randal E. 5 2002 A modular checker for multithreaded programs. Zbl 1010.68501Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A. 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 431 Authors 11 Seshia, Sanjit Arunkumar 7 Subramani, Krishnan 7 Yang, Guanghong 6 Dimarogonas, Dimos V. 5 Bartocci, Ezio 5 Cimatti, Alessandro 5 Junges, Sebastian 4 Exibard, Léo 4 Filiot, Emmanuel 4 Jha, Susmit 4 Katoen, Joost-Pieter 4 Nickovic, Dejan 4 Reynier, Pierre-Alain 4 Strichman, Ofer 3 An, Liwei 3 Bozzano, Marco 3 Damm, Werner 3 Kröning, Daniel 3 Lafortune, Stéphane 3 Lindemann, Lars 3 Lu, Anyang 3 Pnueli, Amir 3 Sebastiani, Roberto 3 Tinelli, Cesare 2 Badban, Bahareh 2 Barrett, Clark W. 2 Biere, Armin 2 Bruttomesso, Roberto 2 de Moura, Leonardo 2 Deshmukh, Jyotirmoy V. 2 Dierks, Henning 2 Gange, Graeme 2 Girard, Antoine 2 Giunchiglia, Enrico 2 Griggio, Alberto 2 Jain, Sanjay 2 Johansson, Karl Henrik 2 Junttila, Tommi A. 2 Kinber, Efim B. 2 Kuncak, Viktor 2 Kupferman, Orna 2 Liu, Rongjian 2 Lu, Jianquan 2 Maratea, Marco 2 Millerioux, Gilles 2 Namjoshi, Kedar S. 2 Ozay, Necmiye 2 Pajic, Miroslav 2 Pérez, Guillermo A. 2 Polgreen, Elizabeth 2 Raman, Vasumathi 2 Rodeh, Yoav 2 Sahai, Tuhin 2 Saoud, Adnane 2 Schachte, Peter 2 Skobelev, Vladimir G. 2 Slivovsky, Friedrich 2 Søndergaard, Harald 2 Stuckey, Peter James 2 Tabuada, Paulo 2 Tentrup, Leander 2 van Rossum, Peter 2 Winkler, Tobias 1 Abed, Sa’ed 1 Aguiar, António Pedro 1 Ahrendt, Wolfgang 1 Aiken, Alex 1 Aït Mohamed, Otmane 1 Akshay, S. 1 Althoff, Matthias 1 Amjad, Hasan 1 Arcak, Murat 1 Armando, Alessandro 1 Aydin Gol, Ebru 1 Bardin, Sébastien 1 Basset, Nicolas 1 Baumgartner, Peter 1 Bianculli, Domenico 1 Bienmüller, Tom 1 Bjesse, Per 1 Blinkhorn, Joshua 1 Blischke, Matthew 1 Bloem, Roderick 1 Bobot, François 1 Bonacina, Maria Paola 1 Bortolussi, Luca 1 Boskos, Dimitris 1 Boukhobza, Taha 1 Brain, Martin 1 Bu, Lei 1 Calautti, Marco 1 Castellini, Claudio 1 Castiglioni, Valentina 1 Češka, Milan 1 Chakraborty, Supratik 1 Chandrasekaran, Ramaswamy 1 Chapman, Margaret P. 1 Chattopadhyay, Agnishom 1 Chen, Gang 1 Chen, Tongwen ...and 331 more Authors all top 5 Cited in 33 Serials 36 Automatica 15 Journal of Automated Reasoning 13 Formal Methods in System Design 7 Theoretical Computer Science 6 Information and Computation 5 Artificial Intelligence 5 Formal Aspects of Computing 4 Acta Informatica 3 Systems & Control Letters 3 Theory and Practice of Logic Programming 3 Logical Methods in Computer Science 3 Nonlinear Analysis. Hybrid Systems 2 International Journal of Control 2 Journal of the Franklin Institute 2 Journal of Symbolic Computation 2 Discrete Event Dynamic Systems 2 Cybernetics and Systems Analysis 1 Discrete Applied Mathematics 1 Applied Mathematics and Computation 1 Information Sciences 1 Journal of Computer and System Sciences 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 International Journal of Parallel Programming 1 Applied Categorical Structures 1 The Journal of Artificial Intelligence Research (JAIR) 1 Theory of Computing Systems 1 Journal of Applied Mathematics and Decision Sciences 1 Fundamenta Informaticae 1 Discrete Optimization 1 Mathematics in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 16 Fields 135 Computer science (68-XX) 53 Systems theory; control (93-XX) 29 Mathematical logic and foundations (03-XX) 18 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 4 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Category theory; homological algebra (18-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year