Morteza Lahijanian

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves ACM Transactions on Modeling and Computer Simulation	2024-09-08	Paper
Temporal segmentation in multi agent path finding with applications to explainability Artificial Intelligence	2024-07-03	Paper
Interval Markov Decision Processes with Continuous Action-Spaces Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
scientific article; zbMATH DE number 7455747 (Why is no real title available?)	2022-01-11	Paper
scientific article; zbMATH DE number 7455747 (Why is no real title available?) (available as arXiv preprint)	2022-01-11	Paper
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes IEEE Transactions on Automatic Control	2021-03-12	Paper
Efficiency through uncertainty Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes Quantitative Evaluation of Systems	2019-09-17	Paper
Formal Verification and Synthesis for Discrete-Time Stochastic Systems IEEE Transactions on Automatic Control	2017-05-16	Paper
Iterative temporal motion planning for hybrid systems in partially unknown environments Proceedings of the 16th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Observers in language-based control Communications in Information and Systems	2009-06-17	Paper

Research outcomes over time

This page was built for person: Morteza Lahijanian