Personensuche
X
?
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society ,
2
Risk-Aware Reward Shaping of Reinforcement Learning Agents ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Automated Formation Control Synthesis from Temporal Logic S..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
4
Poster Abstract: Data-Driven Correct-by-Design Control of P..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
5
Direct Data-Driven State-Feedback Control of General Nonlin..:
, In:
?
2023 IEEE International Conference on Robotics and Automation (ICRA) ,
6
Cautious Planning with Incremental Symbolic Perception: Des..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
7
Energy-Constrained Active Exploration Under Incremental-Res..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
8
Modularized Control Synthesis for Complex Signal Temporal L..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
9
Verifying the Unknown: Correct-by-Design Control Synthesis ..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
10
SySCoRe: Synthesis via Stochastic Coupling Relations:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
12
Deep-Learning-Based Identification of LPV Models for Nonlin..:
, In:
?
2022 IEEE 61st Conference on Decision and Control (CDC) ,
14
Correct-by-Design Control of Parametric Stochastic Systems:
, In:
?
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT ,
15