Žikelić, Đorđe
- Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
2022/10/11 by Žikelić, Đorđe, Lechner, Mathias, Henzinger, Thomas A. +1 · 8 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
2021/12/17 by Mathias Lechner, Đorđe Žikelić, Lechner, Mathias +5 · 4 citations
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Model Reduction and Neural Networks
- Scalable Verification of Quantized Neural Networks (Technical Report)
2020/12/15 by Thomas A. Henzinger, Mathias Lechner, Henzinger, Thomas A. +3 · 4 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Radiation Effects in Electronics #Physical Unclonable Functions (PUFs) and Hardware Security
- Stochastic Invariants for Probabilistic Termination
2016/11/03 by Chatterjee, Krishnendu, Novotný, Petr, Žikelić, Đorđe · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
2024/03/08 by Krishnendu Chatterjee, Amir Kafshdar Goharshady, Chatterjee, Krishnendu +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- On Lexicographic Proof Rules for Probabilistic Termination
2021/08/04 by Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Chatterjee, Krishnendu +7 · 2 citations
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)
- Bidding Mechanisms in Graph Games
2019/05/09 by Avni, Guy, Henzinger, Thomas A., Žikelić, Đorđe · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Infinite-Duration All-Pay Bidding Games
2020/05/12 by Avni, Guy, Jecker, Ismaël, Žikelić, Đorđe · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Economics and business #Logic in Computer Science (cs.LO) #Theoretical Economics (econ.TH)
- Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
2022/10/11 by Matin Ansaripour, Krishnendu Chatterjee, Ansaripour, Matin +7 · 2 citations
Computer Science · #Reinforcement Learning in Robotics
- PolyQEnt: A Polynomial Quantified Entailment Solver
2024/08/07 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +10 · 4 citations
Mathematics · Biochemistry, Genetics and Molecular Biology · Computer Science · #Mathematics and Applications #DNA and Biological Computing #Advanced Graph Theory Research
- Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
2023/12/03 by Žikelić, Đorđe, Lechner, Mathias, Verma, Abhinav +2 · 3 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
2023/05/26 by S. Akshay, Krishnendu Chatterjee, Akshay, S. +5 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Supermartingale Certificates for Quantitative Omega-regular Verification and Control
2025/05/24 by Thomas A. Henzinger, Kaushik Mallik, Henzinger, Thomas A. +5 · 5 citations
Computer Science · Decision Sciences · Engineering · #Advanced Statistical Process Monitoring #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Solving Long-run Average Reward Robust MDPs via Stochastic Games
2023/12/21 by Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad +2 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
2024/05/07 by S. Akshay, Krishnendu Chatterjee, Akshay, S. +5 · 3 citations
Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Proving Non-termination by Program Reversal
2021/04/02 by Chatterjee, Krishnendu, Goharshady, Ehsan Kafshdar, Novotný, Petr +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Optimizing Expectation with Guarantees in POMDPs (Technical Report)
2016/11/26 by Chatterjee, Krishnendu, Novotný, Petr, Pérez, Guillermo A. +2 · 1 citation
#Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
- Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
2022/11/29 by Mathias Lechner, Đorđe Žikelić, Lechner, Mathias +7 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks
- Equivalence and Similarity Refutation for Probabilistic Programs
2024/04/04 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady +5 · 1 citation
Computer Science · #Bayesian Modeling and Causal Inference #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #Programming Languages (cs.PL)
- Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies
2024/10/08 by Jieke Shi, Shi, Jieke, Junda He +6 · 1 citation
Computer Science · #FOS: Computer and information sciences #Neural Networks and Applications #Software Engineering (cs.SE)