I agree that this site is using cookies. You can find further informations here.
X
Lindemann, Lars
90  results:
english X
Search for persons X
?
1

Chordal sparsity for SDP-based neural network verification:

Xue, Anton ; Lindemann, Lars ; Alur, Rajeev
Automatica.  161 (2024)  - p. 111487 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Robust Conformal Prediction for STL Runtime Verification un..:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),
Zhao, Yiqi ; Hoxha, Bardh ; Fainekos, Georgios.. - p. 169-179 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Conformal Prediction for STL Runtime Verification:

, In: 2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton),
Lindemann, Lars ; Qin, Xin ; Deshmukh, Jyotirmoy V.. - p. 1-1 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Physics Constrained Motion Prediction with Uncertainty Quan..:

, In: 2023 IEEE Intelligent Vehicles Symposium (IV),
Tumu, Renukanandan ; Lindemann, Lars ; Nghiem, Truong. - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Control of Nonlinear Systems Under Multiple Time-Varying Ou..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Mehdifar, Farhad ; Lindemann, Lars ; Bechlioulis, Charalampos P.. - p. 6743-6748 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Data-Driven Reachability Analysis of Stochastic Dynamical S..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Hashemi, Navid ; Qin, Xin ; Lindemann, Lars. - p. 3102-3109 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Conformance Testing for Stochastic Cyber-Physical Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Qin, Xin ; Hashemi, Navid ; Lindemann, Lars. - p. 294-305 , 2023
Link: https://doi.org/10.34727..
 
?
8

Conformal Prediction for STL Runtime Verification:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),
Lindemann, Lars ; Qin, Xin ; Deshmukh, Jyotirmoy V.. - p. 142-153 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Efficient STL Control Synthesis Under Asynchronous Temporal..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Yu, Xinyi ; Yin, Xiang ; Lindemann, Lars - p. 6847-6854 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Safe Perception-Based Control Under Stochastic Sensor Uncer..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Yang, Shuo ; Pappas, George J. ; Mangharam, Rahul. - p. 6072-6078 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Risk of Stochastic Systems for Temporal Logic Specification:

Lindemann, Lars ; Jiang, Lejun ; Matni, Nikolai.
ACM Transactions on Embedded Computing Systems.  22 (2023)  3 - p. 1-31 , 2023
Link: https://doi.org/10.1145/..
 
?
12

Risk-Bounded Temporal Logic Control of Continuous-Time Stoc..:

, In: 2022 American Control Conference (ACC),
Safaoui, Sleiman ; Lindemann, Lars ; Shames, Iman. - p. 1555-1562 , 2022
Link: https://doi.org/10.23919..
 
?
13

Chordal Sparsity for Lipschitz Constant Estimation of Deep ..:

, In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Xue, Anton ; Lindemann, Lars ; Robey, Alexander... - p. 3389-3396 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Temporal Robustness of Stochastic Signals:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Lindemann, Lars ; Rodionova, Alena ; Pappas, George - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Temporal Robustness of Temporal Logic Specifications: Analy..:

Rodionova, Alena ; Lindemann, Lars ; Morari, Manfred.
ACM Transactions on Embedded Computing Systems.  22 (2022)  1 - p. 1-44 , 2022
Link: https://doi.org/10.1145/..
 
1-15