Probabilistic Least-violating Control Strategy Synthesis with Safety Rules
We consider the problem of automatic control strategy synthesis for discrete models of robotic systems, where the goal is to travel from some region to another while obeying a given set of safety rules in an environment with uncertain properties. This is a probabilistic extension of the work by Jana...
Main Authors: | Janiuk, Ludvig, Sjölén, Johan |
---|---|
Format: | Others |
Language: | English |
Published: |
KTH, Skolan för elektroteknik och datavetenskap (EECS)
2018
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-229867 |
Similar Items
-
Direct Heap Snapshotting in the Java HotSpot VM : a Prototype
by: Janiuk, Ludvig
Published: (2020) -
Relational Symbolic Execution in WebAssembly
by: Sjölén, Johan
Published: (2020) -
Comparing probabilistic models for human motion patterns
by: Berg, Andreas, et al.
Published: (2019) -
Local measures for probabilistic networks
by: Kaveh, Amin
Published: (2019) -
Lumines is NP-complete : Or at least if your gamepad is broken
by: Riese, Axel, et al.
Published: (2015)