Reactive synthesis for finite tasks under resource constraints
There are many applications where robots have to operate in environments that other agents can change. In such cases, it is desirable for the robot to achieve a given highlevel task despite interference. Ideally, the robot must decide its next action as it observes the changes in the world, i.e. act...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Institute of Electrical and Electronics Engineers
2017
|