Kamu erişimi zorunlu olan makaleler - Morteza LahijanianDaha fazla bilgi edinin
Hiçbir yerde sunulmuyor: 2
Reason-recourse software for science operations of autonomous robotic landers
J McMahon, N Ahmed, M Lahijanian, P Amorese, T Deka, K Muvvala, ...
2023 IEEE Aerospace Conference, 1-11, 2023
Zorunlu olanlar: US National Aeronautics and Space Administration
Temporal segmentation in multi agent path finding with applications to explainability
S Almagor, J Kottinger, M Lahijanian
Artificial Intelligence 330, 104087, 2024
Zorunlu olanlar: European Commission
Bir yerde sunuluyor: 41
Iterative temporal planning in uncertain environments with partial satisfaction guarantees
M Lahijanian, MR Maly, D Fried, LE Kavraki, H Kress-Gazit, MY Vardi
IEEE Transactions on Robotics 32 (3), 583-599, 2016
Zorunlu olanlar: US National Science Foundation
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
N Cauchi, L Laurenti, M Lahijanian, A Abate, M Kwiatkowska, L Cardelli
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council
Reactive synthesis for finite tasks under resource constraints
K He, M Lahijanian, LE Kavraki, MY Vardi
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
Zorunlu olanlar: US National Science Foundation, UK Engineering and Physical Sciences …
Specification Revision for Markov Decision Processes with Optimal Trade-off
M Lahijanian, M Kwiatkowska
IEEE Conference on Decision and Control, 2016
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council
Resource-performance trade-off analysis for mobile robots
M Lahijanian, M Svorenova, AA Morye, B Yeomans, D Rao, I Posner, ...
IEEE Robotics and Automation Letters, 2018
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council
Explainable multi agent path finding
S Almagor, M Lahijanian
AAMAS, 2020
Zorunlu olanlar: European Commission
Gaze-based intention anticipation over driving manoeuvres in semi-autonomous vehicles
M Wu, T Louw, M Lahijanian, W Ruan, X Huang, N Merat, M Kwiatkowska
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council
Multi-objective robust strategy synthesis for interval Markov decision processes
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
International Conference on Quantitative Evaluation of Systems, 207-223, 2017
Zorunlu olanlar: Chinese Academy of Sciences, National Natural Science Foundation of China …
Online mapping and motion planning under uncertainty for safe navigation in unknown environments
È Pairet, JD Hernández, M Carreras, Y Petillot, M Lahijanian
IEEE Transactions on Automation Science and Engineering 19 (4), 3356-3378, 2021
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council, European Commission
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
L Laurenti, M Lahijanian, A Abate, L Cardelli, M Kwiatkowska
IEEE Transactions on Automatic Control 66 (1), 17-32, 2020
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council
Social Trust: a Major Challenge for the Future of Autonomous Systems
M Lahijanian, M Kwiatkowska
AAAI Fall Symposium on Cross-Disciplinary Challenges for Autonomous Systems, 2016
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council, European Commission
Asymptotically optimal stochastic motion planning with temporal goals
R Luna, M Lahijanian, M Moll, LE Kavraki
Algorithmic Foundations of Robotics XI: Selected Contributions of the …, 2015
Zorunlu olanlar: US National Aeronautics and Space Administration
Integrating temporal reasoning and sampling-based motion planning for multigoal problems with dynamics and time windows
S Edelkamp, M Lahijanian, D Magazzeni, E Plaku
IEEE Robotics and Automation Letters 3 (4), 3473-3480, 2018
Zorunlu olanlar: US National Science Foundation, UK Engineering and Physical Sciences …
Safety verification of unknown dynamical systems via gaussian process regression
J Jackson, L Laurenti, E Frew, M Lahijanian
2020 59th IEEE Conference on Decision and Control (CDC), 860-866, 2020
Zorunlu olanlar: US National Science Foundation
Safety guarantees for neural network dynamic systems via stochastic barrier functions
R Mazouz, K Muvvala, A Ratheesh Babu, L Laurenti, M Lahijanian
Advances in Neural Information Processing Systems 35, 9672-9686, 2022
Zorunlu olanlar: US National Science Foundation, US National Aeronautics and Space Administration
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-31, 2019
Zorunlu olanlar: Chinese Academy of Sciences, National Natural Science Foundation of China …
Formal control synthesis for stochastic neural network dynamic models
S Adams, M Lahijanian, L Laurenti
IEEE Control Systems Letters 6, 2858-2863, 2022
Zorunlu olanlar: US National Science Foundation
Strategy synthesis for partially-known switched stochastic systems
J Jackson, L Laurenti, E Frew, M Lahijanian
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
Zorunlu olanlar: US National Science Foundation
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir