Morteza Lahijanian
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Luca Laurenti, Cauchi, Nathalie +9 · 6 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
2021/12/31 by Luca Laurenti, Skovbekk, John, Laurenti, Luca +4 · 4 citations
Biochemistry, Genetics and Molecular Biology · Chemistry · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gene Regulatory Network Analysis #Mass Spectrometry Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety Verification of Unknown Dynamical Systems via Gaussian Process\n Regression
2020/04/03 by J.D. Jackson, Luca Laurenti, Jackson, John +5 · 2 citations
Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Introducing Delays in Multi-Agent Path Finding
2023/07/20 by Justin Kottinger, Kottinger, Justin, Geft, Tzvika +6 · 3 citations
Computer Science · #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Multimodal Machine Learning Applications #Optimization and Search Problems #Robotic Path Planning Algorithms #Robotics (cs.RO)
- Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
2022/07/08 by Qi Heng Ho, Roland B. Ilyes, Ho, Qi Heng +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Receptor Mechanisms and Signaling #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties
2023/03/20 by Anne Theurkauf, Justin Kottinger, Theurkauf, Anne +5 · 2 citations
Computer Science · #AI-based Problem Solving and Planning #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Robotic Path Planning Algorithms #Robotics (cs.RO)
- IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
2024/01/08 by Frederik Baymler Mathiesen, Morteza Lahijanian, Mathiesen, Frederik Baymler +3 · 3 citations
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
2022/06/15 by Rayan Mazouz, Mazouz, Rayan, Karan Muvvala +7 · 3 citations
Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning in Materials Science #Neural Networks and Applications #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-Driven Permissible Safe Control with Barrier Certificates
2024/04/30 by Rayan Mazouz, John Skovbekk, Mazouz, Rayan +9 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Robotics (cs.RO) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
2024/07/26 by Steven Adams, Patanè, Adams, Steven +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications
- Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
2022/10/10 by Roland B. Ilyes, Qi Heng Ho, Ilyes, Roland B. +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Timed Partial Order Inference Algorithm
2023/02/05 by Kandai Watanabe, Bardh Hoxha, Watanabe, Kandai +11 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Software System Performance and Reliability
- Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
2024/10/07 by Robert A. Reed, Reed, Robert, Morteza Lahijanian +1 · 2 citations
Computer Science · Physics and Astronomy · Engineering · #Target Tracking and Data Fusion in Sensor Networks #Advanced Optical Sensing Technologies #Fault Detection and Control Systems
- Stochastic Games for Interactive Manipulation Domains
2024/03/07 by Karan Muvvala, Andrew M. Wells, Muvvala, Karan +7 · 1 citation
Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms
- Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
2024/06/05 by Qi Heng Ho, Martin S. Feather, Ho, Qi Heng +7 · 1 citation
Business, Management and Accounting · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Optimization and Packing Problems #Robotics (cs.RO) #Supply Chain and Inventory Management #Systems and Control (eess.SY) #Vehicle Routing Optimization Methods #electronic engineering #information engineering
- Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
2024/08/23 by Karan Muvvala, Qi Heng Ho, Muvvala, Karan +3 · 1 citation
Business, Management and Accounting · Decision Sciences · #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Consumer Market Behavior and Pricing #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.4 #I.2.9 #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Supply Chain and Inventory Management
- Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
2024/03/08 by Robert A. Reed, Hanspeter Schaub, Reed, Robert +3 · 1 citation
Engineering · Physics and Astronomy · #Space Satellite Systems and Control #Inertial Sensor and Navigation #Gamma-ray bursts and supernovae
- Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
2024/12/15 by Ibón Gracia, Luca Laurenti, Gracia, Ibon +6 · 4 citations
Engineering · #Advanced Control Systems Optimization
- A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
2023/10/03 by Luca Laurenti, Morteza Lahijanian, Laurenti, Luca +1 · 1 citation
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Risk and Portfolio Optimization #Decision-Making and Behavioral Economics
- Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
2024/03/22 by Eduardo Figueiredo, Figueiredo, Eduardo, Andrea Patanè +5 · 1 citation
Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Distributed Sensor Networks and Detection Algorithms #FOS: Electrical engineering #Statistical Methods and Inference #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-Objective Kinodynamic Motion Planning with Asymptotic Pareto Optimality
2026/07/16 by Yusif Razzaq, Anne Theurkauf, Nisar Ahmed +1
#cs.RO
- Certified Stochastic Control via Covariance Steering with Pick-to-Learn
2026/07/23 by Chun-Wei Kong, Zachary Donovan, Morteza Lahijanian +1
#eess.SY #cs.SY