1 citations · 2 across the 7 of their papers we have counts for
7 papers
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
Robert Reed, Hanspeter Schaub, Morteza Lahijanian
Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of…
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian +2
As robots become more prevalent, the complexity of robot-robot, robot-human, and robot-environment interactions increases. In these interactions, a robot needs to consider not only…
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
In this paper, we present IntervalMDP.jl, a Julia package for probabilistic analysis of interval Markov Decision Processes (IMDPs). IntervalMDP.jl facilitates the synthesis of opti…
Formal Abstraction of General Stochastic Systems via Noise Partitioning
John Skovbekk, Luca Laurenti, Eric Frew +1
Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonli…
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov +4
In this work, we propose the model of timed partial orders (TPOs) for specifying workflow schedules, especially for modeling manufacturing processes. TPOs integrate partial orders…
Pareto Optimal Strategies for Event-Triggered Estimation
Anne Theurkauf, Nisar Ahmed, Morteza Lahijanian
Although resource-limited networked autonomous systems must be able to efficiently and effectively accomplish tasks, better conservation of resources often results in worse task pe…