Probably approximately correct MDP learning and control with temporal logic constraints
We consider synthesis of control policies that maximize the probability of satisfying given
temporal logic specifications in unknown, stochastic environments. We model the interaction …
temporal logic specifications in unknown, stochastic environments. We model the interaction …
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments
K Hashimoto, N Tsumagari, T Ushio - ACM Transactions on Cyber …, 2022 - dl.acm.org
This article investigates a collaborative rover-copter path planning and exploration with
temporal logic specifications under uncertain environments. The objective of the rover is to …
temporal logic specifications under uncertain environments. The objective of the rover is to …
Planning via model checking with decision-tree controllers
J Kiesbye, K Grover, P Ashok… - … Conference On Robotics …, 2022 - ieeexplore.ieee.org
Planning problems can be solved not only by planners, but also by model checkers. While
the former yield a plan that requires replanning as soon as any fault occurs, the latter …
the former yield a plan that requires replanning as soon as any fault occurs, the latter …
RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability
RoboChart is a UML-like language designed for modelling autonomous and mobile robots.
It includes timed and probabilistic primitives. In this chapter, we discuss first why we need …
It includes timed and probabilistic primitives. In this chapter, we discuss first why we need …
Analysis and Verification of Complex Robot Systems using Behaviour-Based Control
L Kiekbusch - 2017 - kluedo.ub.rptu.de
The development of autonomous mobile robots is a major topic of current research. As those
robots must be able to react to changing environments and avoid collisions also with moving …
robots must be able to react to changing environments and avoid collisions also with moving …
Stochastic hybrid systems modeling and performance verification of behavior-based robots
Behavior-based robotics (BBR) has gained popularity because of its simplicity, flexibility and
adaptability. However, lack of formalization from performance guarantee aspect has been a …
adaptability. However, lack of formalization from performance guarantee aspect has been a …