default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMorteza Lahijanian
Person information
- affiliation: University of Colorado Boulder, CO, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j18]Shaull Almagor, Justin Kottinger
, Morteza Lahijanian:
Temporal segmentation in multi agent path finding with applications to explainability. Artif. Intell. 330: 104087 (2024)- [j17]Anne Theurkauf, Justin Kottinger, Nisar R. Ahmed, Morteza Lahijanian:
Chance-Constrained Multi-Robot Motion Planning Under Gaussian Uncertainties. IEEE Robotics Autom. Lett. 9(1): 835-842 (2024) - [j16]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems. IEEE Robotics Autom. Lett. 9(2): 931-938 (2024) - [c53]Robert Reed, Hanspeter Schaub, Morteza Lahijanian:
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. ACC 2024: 2331-2337 - [c52]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. ICRA 2024: 2513-2519 - [c51]Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan:
Optimal Planning for Timed Partial Order Specifications. ICRA 2024: 17093-17099 - [c50]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian:
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. L4DC 2024: 1633-1645 - [c49]Justin Kottinger, Tzvika Geft, Shaull Almagor, Oren Salzman, Morteza Lahijanian:
Introducing Delays in Multi Agent Path Finding. SOCS 2024: 37-45 - [i53]Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti:
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR abs/2401.04068 (2024) - [i52]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. CoRR abs/2403.04910 (2024) - [i51]Robert Reed, Hanspeter Schaub, Morteza Lahijanian:
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. CoRR abs/2403.05693 (2024) - [i50]Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR abs/2403.15626 (2024) - [i49]Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian:
Piecewise Stochastic Barrier Functions. CoRR abs/2404.16986 (2024) - [i48]Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian:
Data-Driven Permissible Safe Control with Barrier Certificates. CoRR abs/2405.00136 (2024) - [i47]Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan:
Optimal Planning for Timed Partial Order Specifications. CoRR abs/2405.00687 (2024) - [i46]Qi Heng Ho, Martin S. Feather, Federico Rossi, Zachary N. Sunberg, Morteza Lahijanian:
Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives. CoRR abs/2406.02871 (2024) - [i45]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian:
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances. CoRR abs/2406.09704 (2024) - [i44]Peter Amorese, Shohei Wakayama, Nisar R. Ahmed, Morteza Lahijanian:
Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference. CoRR abs/2406.11984 (2024) - [i43]Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti:
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR abs/2407.18707 (2024) - [i42]Robert Reed, Luca Laurenti, Morteza Lahijanian:
Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification. CoRR abs/2408.09033 (2024) - [i41]Karan Muvvala, Qi Heng Ho, Morteza Lahijanian:
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. CoRR abs/2408.13369 (2024) - [i40]Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian:
Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner. CoRR abs/2409.06807 (2024) - [i39]Karan Muvvala, Morteza Lahijanian:
Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics. CoRR abs/2410.04573 (2024) - [i38]Robert Reed, Morteza Lahijanian:
Learning-Based Shielding for Safe Autonomy under Unknown Dynamics. CoRR abs/2410.07359 (2024) - [i37]Chun-Wei Kong, Luca Laurenti, Jay McMahon, Morteza Lahijanian:
Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs. CoRR abs/2410.22371 (2024) - 2023
- [j15]John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Formal Abstraction of General Stochastic Systems via Noise Partitioning. IEEE Control. Syst. Lett. 7: 3711-3716 (2023) - [j14]Robert Reed, Luca Laurenti, Morteza Lahijanian:
Promises of Deep Kernel Learning for Control Synthesis. IEEE Control. Syst. Lett. 7: 3986-3991 (2023) - [c48]Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi:
Timed Partial Order Inference Algorithm. ICAPS 2023: 639-647 - [c47]Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC 2023: 12:1-12:10 - [c46]Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian:
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. HSCC 2023: 25:1-25:2 - [c45]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML 2023: 133-151 - [c44]Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian:
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. ICRA 2023: 5716-5722 - [c43]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. ICRA 2023: 5723-5729 - [c42]Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar R. Ahmed, Morteza Lahijanian:
Chance-Constrained Motion Planning with Event-Triggered Estimation. ICRA 2023: 7944-7950 - [c41]Peter Amorese, Morteza Lahijanian:
Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks. IROS 2023: 2071-2077 - [c40]Karan Muvvala, Morteza Lahijanian:
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. IROS 2023: 8666-8672 - [i36]Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi:
Timed Partial Order Inference Algorithm. CoRR abs/2302.02501 (2023) - [i35]Karan Muvvala, Morteza Lahijanian:
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. CoRR abs/2303.03686 (2023) - [i34]Anne Theurkauf, Justin Kottinger, Nisar R. Ahmed, Morteza Lahijanian:
Chance-Constrained Multi-Robot Motion Planning under Gaussian Uncertainties. CoRR abs/2303.11476 (2023) - [i33]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. CoRR abs/2304.06876 (2023) - [i32]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR abs/2306.10742 (2023) - [i31]Peter Amorese, Morteza Lahijanian:
Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks. CoRR abs/2306.13222 (2023) - [i30]Justin Kottinger, Shaull Almagor, Oren Salzman, Morteza Lahijanian:
Introducing Delays in Multi-Agent Path Finding. CoRR abs/2307.11252 (2023) - [i29]Robert Reed, Luca Laurenti, Morteza Lahijanian:
Promises of Deep Kernel Learning for Control Synthesis. CoRR abs/2309.06569 (2023) - [i28]John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Formal Abstraction of General Stochastic Systems via Noise Partitioning. CoRR abs/2309.10702 (2023) - [i27]Luca Laurenti, Morteza Lahijanian:
Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. CoRR abs/2310.01802 (2023) - [i26]Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin S. Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg:
Recursively-Constrained Partially Observable Markov Decision Processes. CoRR abs/2310.09688 (2023) - 2022
- [j13]Steven Adams, Morteza Lahijanian, Luca Laurenti:
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. IEEE Control. Syst. Lett. 6: 2858-2863 (2022) - [j12]Èric Pairet, Juan David Hernández, Marc Carreras, Yvan R. Petillot, Morteza Lahijanian:
Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments. IEEE Trans Autom. Sci. Eng. 19(4): 3356-3378 (2022) - [c39]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
Conflict-Based Search for Explainable Multi-Agent Path Finding. ICAPS 2022: 692-700 - [c38]Islam Nazmy, Andrew Harris, Morteza Lahijanian, Hanspeter Schaub:
Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging. ACC 2022: 1808-1813 - [c37]Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian:
Pareto Optimal Strategies for Event-triggered Estimation. CDC 2022: 2884-2889 - [c36]Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian:
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CDC 2022: 3243-3249 - [c35]Karan Muvvala, Peter Amorese, Morteza Lahijanian:
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. ICRA 2022: 4340-4346 - [c34]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. ICRA 2022: 11029-11035 - [c33]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. IROS 2022: 13494-13499 - [c32]Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan:
An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS 2022 - [c31]Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian:
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. NeurIPS 2022 - [i25]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR abs/2201.00655 (2022) - [i24]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
Conflict-Based Search for Explainable Multi-Agent Path Finding. CoRR abs/2202.09930 (2022) - [i23]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning. CoRR abs/2202.12407 (2022) - [i22]Steven Adams, Morteza Lahijanian, Luca Laurenti:
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. CoRR abs/2203.05903 (2022) - [i21]Karan Muvvala, Peter Amorese, Morteza Lahijanian:
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. CoRR abs/2203.06861 (2022) - [i20]Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian:
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. CoRR abs/2206.07811 (2022) - [i19]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints. CoRR abs/2207.00576 (2022) - [i18]Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian:
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CoRR abs/2207.03662 (2022) - [i17]Anne Theurkauf, Nisar R. Ahmed, Morteza Lahijanian:
Pareto Optimal Strategies for Event Triggered Estimation. CoRR abs/2207.08971 (2022) - [i16]Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian:
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. CoRR abs/2210.04813 (2022) - [i15]Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar R. Ahmed, Morteza Lahijanian:
Chance-Constrained Motion Planning with Event-Triggered Estimation. CoRR abs/2210.07190 (2022) - [i14]Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian:
Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides. CoRR abs/2210.10202 (2022) - [i13]Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. CoRR abs/2211.01231 (2022) - 2021
- [j11]Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [c30]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CDC 2021: 2232-2239 - [c29]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Strategy synthesis for partially-known switched stochastic systems. HSCC 2021: 6:1-6:11 - [c28]Andrew M. Wells, Zachary K. Kingston, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Finite-Horizon Synthesis for Probabilistic Manipulation Domains. ICRA 2021: 6336-6342 - [c27]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. ICRA 2021: 7994-8000 - [c26]Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian:
Probabilistic Specification Learning for Planning with Safety Constraints. IROS 2021: 6558-6565 - [i12]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Strategy Synthesis for Partially-known Switched Stochastic Systems. CoRR abs/2104.02172 (2021) - [i11]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CoRR abs/2110.05525 (2021) - 2020
- [c25]Shaull Almagor, Morteza Lahijanian:
Explainable Multi Agent Path Finding. AAMAS 2020: 34-42 - [c24]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CDC 2020: 860-866 - [c23]Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181 - [i10]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR abs/2004.01821 (2020) - [i9]Èric Pairet, Juan David Hernández, Yvan R. Petillot, Morteza Lahijanian:
Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments. CoRR abs/2004.12317 (2020) - [i8]Justin Kottinger, Shaull Almagor, Morteza Lahijanian:
MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation. CoRR abs/2010.16106 (2020)
2010 – 2019
- 2019
- [j10]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. IEEE Robotics Autom. Lett. 4(2): 285-292 (2019) - [j9]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves. ACM Trans. Model. Comput. Simul. 29(4): 27:1-27:31 (2019) - [c22]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture. CAVS 2019: 1-7 - [c21]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c20]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [i7]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019) - [i6]Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska:
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture. CoRR abs/1907.09603 (2019) - 2018
- [j8]Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman:
Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. 1: 211-236 (2018) - [j7]Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. 3(3): 1840-1847 (2018) - [j6]Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku:
Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. IEEE Robotics Autom. Lett. 3(4): 3473-3480 (2018) - [c19]Èric Pairet, Juan David Hernández, Morteza Lahijanian, Marc Carreras:
Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance. IROS 2018: 2367-2374 - 2017
- [c18]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Reactive synthesis for finite tasks under resource constraints. IROS 2017: 5326-5332 - [c17]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. QEST 2017: 207-223 - [i5]Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. CoRR abs/1706.06875 (2017) - 2016
- [j5]Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016) - [c16]Morteza Lahijanian, Marta Kwiatkowska:
Social Trust: A Major Challenge for the Future of Autonomous Systems. AAAI Fall Symposia 2016 - [c15]Morteza Lahijanian, Marta Z. Kwiatkowska:
Specification revision for Markov decision processes with optimal trade-off. CDC 2016: 7411-7418 - [i4]María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Trade-off Analysis for Mobile Robots. CoRR abs/1609.04888 (2016) - 2015
- [j4]Jing Wang, Xu Chu Ding, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal logic motion control using actor-critic methods. Int. J. Robotics Res. 34(10): 1329-1344 (2015) - [j3]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Formal Verification and Synthesis for Discrete-Time Stochastic Systems. IEEE Trans. Autom. Control. 60(8): 2031-2045 (2015) - [c14]Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI 2015: 3664-3671 - [c13]Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Towards manipulation planning with temporal logic specifications. ICRA 2015: 346-352 - 2014
- [c12]Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki:
Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments. AAAI 2014: 2549-2555 - [c11]Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
A sampling-based strategy planner for nondeterministic hybrid systems. ICRA 2014: 3005-3012 - [c10]Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki:
Fast stochastic motion planning with optimality guarantees using local policy reconfiguration. ICRA 2014: 3013-3019 - [c9]Ryan Luna, Morteza Lahijanian, Mark Moll, Lydia E. Kavraki:
Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. WAFR 2014: 335-352 - 2013
- [c8]Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362 - 2012
- [j2]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Trans. Robotics 28(2): 396-409 (2012) - [c7]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Approximate Markovian abstractions for linear stochastic systems. CDC 2012: 5966-5971 - [c6]Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal logic motion control using actor-critic methods. ICRA 2012: 4687-4692 - [i3]Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta:
Temporal Logic Motion Control using Actor-Critic Methods. CoRR abs/1202.2185 (2012) - 2011
- [c5]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
Control of Markov decision processes from PCTL specifications. ACC 2011: 311-316 - [c4]Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis:
Least squares temporal difference actor-critic methods with applications to robot motion control. CDC/ECC 2011: 704-709 - [i2]Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta:
Probabilistically Safe Vehicle Control in a Hostile Environment. CoRR abs/1103.4065 (2011) - [i1]Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis:
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control. CoRR abs/1108.4698 (2011) - 2010
- [c3]