Rajeev Alur
- A theory of timed automata
1994/04/01 by Rajeev Alur, David L. Dill · 58 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- Alternating-time temporal logic
2002/09/01 by Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · 33 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- The benefits of relaxing punctuality
1996/01/01 by Rajeev Alur, Tomás Feder, Thomas A. Henzinger · 9 citations
- Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
2023/11/16 by Avishree Khare, Khare, Avishree, Saikat Dutta +9 · 12 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
- Verisig: verifying safety properties of hybrid systems with neural network controllers
2018/11/05 by Radoslav Ivanov, James Weimer, Ivanov, Radoslav +7 · 6 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Fault Detection and Control Systems #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Framework for Transforming Specifications in Reinforcement Learning
2021/10/30 by Rajeev Alur, Alur, Rajeev, Suguman Bansal +5 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
2022/04/02 by Anton Xue, Lars Lindemann, Xue, Anton +9 · 2 citations
Engineering · Computer Science · #Sparse and Compressive Sensing Techniques #Adversarial Robustness in Machine Learning #Machine Learning and Algorithms
- Policy Synthesis and Reinforcement Learning for Discounted LTL
2023/05/26 by Rajeev Alur, Alur, Rajeev, Osbert Bastani +9 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Formal Methods in Verification
- Data-Efficient Learning with Neural Programs
2024/06/10 by Alaia Solko-Breslin, Solko-Breslin, Alaia, Seewon Choi +11 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications