Pages that link to "Item:Q2980278"
From MaRDI portal
The following pages link to Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints (Q2980278):
Displaying 4 items.
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- TeLEx: learning signal temporal logic from positive examples using tightness metric (Q2008282) (← links)
- Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
- Time-Varying Sensor and Actuator Selection for Uncertain Cyber-Physical Systems (Q5229209) (← links)