The following pages link to Morteza Lahijanian (Q1024928):
Displaying 9 items.
- Observers in language-based control (Q1024929) (← links)
- Formal Verification and Synthesis for Discrete-Time Stochastic Systems (Q2982621) (← links)
- Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941) (← links)
- (Q5021010) (← links)
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes (Q5194931) (← links)
- Efficiency through uncertainty (Q5239245) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)
- Temporal segmentation in multi agent path finding with applications to explainability (Q6566611) (← links)
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves (Q6600072) (← links)
