Reachability Analysis and Hybrid Systems Biology-In Memoriam
O Maler - Hybrid Systems Biology: 6th International Workshop …, 2019 - books.google.com
In this note we present some influential contributions of Oded Maler in hybrid systems
research, with a focus on his pioneering results in reachability analysis and applications to …
research, with a focus on his pioneering results in reachability analysis and applications to …
Reactive synthesis of action planners
N Sharma - 2019 - repositories.lib.utexas.edu
An increase in the level of autonomy marks one of the fundamental focuses of current robotic
systems. This involves the ability of a robot to reason about its environment and plan its …
systems. This involves the ability of a robot to reason about its environment and plan its …
[PDF][PDF] Sampling-based algorithms for motion planning with temporal logic specifications
F Montana - 2019 - etheses.whiterose.ac.uk
Autonomous mobile robots are machines capable of performing tasks, operating without
human intervention. Their presence has increased in applications such as personal …
human intervention. Their presence has increased in applications such as personal …
[图书][B] Oracle-Guided Design and Analysis of Learning-Based Cyber-Physical Systems
S Ghosh - 2019 - search.proquest.com
We are in world where autonomous systems, such as self-driving cars, surgical robots,
robotic manipulators are becoming a reality. Such systems are considered\textit {safety …
robotic manipulators are becoming a reality. Such systems are considered\textit {safety …