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 - [i50]Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti:
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR abs/2401.04068 (2024) - [i49]Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
Stochastic Games for Interactive Manipulation Domains. CoRR abs/2403.04910 (2024) - [i48]Robert Reed, Hanspeter Schaub, Morteza Lahijanian:
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking. CoRR abs/2403.05693 (2024) - [i47]Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR abs/2403.15626 (2024) - [i46]Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian:
Piecewise Stochastic Barrier Functions. CoRR abs/2404.16986 (2024) - [i45]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) - [i44]Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan:
Optimal Planning for Timed Partial Order Specifications. CoRR abs/2405.00687 (2024) - [i43]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) - [i42]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian:
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances. CoRR abs/2406.09704 (2024) - [i41]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) - [i40]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) - [i39]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) - [i38]Karan Muvvala, Qi Heng Ho, Morteza Lahijanian:
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. CoRR abs/2408.13369 (2024) - [i37]Nicolas Perrault, Qi Heng Ho, Morteza Lahijanian:
Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner. CoRR abs/2409.06807 (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]Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta:
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA 2010: 3227-3232
2000 – 2009
- 2009
- [c2]Morteza Lahijanian, Sean B. Andersson, Calin Belta:
A probabilistic approach for control of a stochastic system from LTL specifications. CDC 2009: 2236-2241 - [c1]Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson:
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA 2009: 2055-2060 - 2008
- [j1]Sean B. Andersson, Dimitris Hristu-Varsakelis, Morteza Lahijanian:
Observers in Language-Based Control. Commun. Inf. Syst. 8(2): 85-106 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 00:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
