Search for persons
X
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
2
Verifying the Unknown: Correct-by-Design Control Synthesis ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Direct Data-Driven State-Feedback Control of General Nonlin..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
4
Modularized Control Synthesis for Complex Signal Temporal L..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
5
SySCoRe: Synthesis via Stochastic Coupling Relations:
, In:
?
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society ,
7
Risk-Aware Reward Shaping of Reinforcement Learning Agents ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
8
Automated Formation Control Synthesis from Temporal Logic S..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
9
Energy-Constrained Active Exploration Under Incremental-Res..:
, In:
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
10
Poster Abstract: Data-Driven Correct-by-Design Control of P..:
, In:
?
2023 IEEE International Conference on Robotics and Automation (ICRA) ,
11
Cautious Planning with Incremental Symbolic Perception: Des..:
, 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