Lahijanian, Morteza
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Cauchi, Nathalie, Luca Laurenti +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
- Formal Control Synthesis for Stochastic Neural Network Dynamic Models
2022/03/11 by Adams, Steven, Lahijanian, Morteza, Laurenti, Luca · 4 citations
#FOS: Electrical engineering #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, Jackson, John, Luca Laurenti +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
- Probabilistically Safe Vehicle Control in a Hostile Environment
2011/03/21 by Cizelj, Igor, Ding, Xu Chu, Lahijanian, Morteza +2 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #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)
- Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
2024/06/14 by Gracia, Ibon, Boskos, Dimitris, Laurenti, Luca +1 · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
2017/06/21 by Hahn, Ernst Moritz, Hashemi, Vahid, Hermanns, Holger +2 · 1 citation
#D.2.4 #F.1.1 #FOS: Electrical engineering #G.1.6 #G.3 #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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, Karan Muvvala, Mazouz, Rayan +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
- Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments
2020/04/26 by Pairet, Èric, Hernández, Juan David, Carreras, Marc +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
2024/07/26 by Steven Adams, Adams, Steven, Patanè +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications
- Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner
2024/09/10 by Perrault, Nicolas, Ho, Qi Heng, Lahijanian, Morteza · 2 citations
#Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #Robotics (cs.RO) #and Cluster Computing (cs.DC)
- Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
2022/10/10 by Roland B. Ilyes, Ilyes, Roland B., Qi Heng Ho +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, Watanabe, Kandai, Bardh Hoxha +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
- Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks
2023/06/22 by Amorese, Peter, Lahijanian, Morteza · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO)
- 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
- Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
2024/10/06 by Muvvala, Karan, Lahijanian, Morteza · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO)
- Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
2024/03/08 by Robert A. Reed, Reed, Robert, Hanspeter Schaub +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
- Formal Abstraction of General Stochastic Systems via Noise Partitioning
2023/09/19 by Skovbekk, John, Laurenti, Luca, Frew, Eric +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
2023/10/03 by Luca Laurenti, Laurenti, Luca, Morteza Lahijanian +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