default search action
Lars Lindemann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Anton Xue, Lars Lindemann, Rajeev Alur:
Chordal sparsity for SDP-based neural network verification. Autom. 161: 111487 (2024) - [j16]Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. IEEE Robotics Autom. Lett. 9(10): 8983-8990 (2024) - [j15]Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh:
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4250-4261 (2024) - [c39]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992 - [c38]Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ACC 2024: 251-258 - [c37]Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas:
Communication-Constrained STL Task Decomposition Through Convex Optimization. ACC 2024: 3517-3523 - [c36]Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas:
Distributed Sequential Receding Horizon Control of Multi-Agent Systems Under Recurring Signal Temporal Logic. ECC 2024: 305-310 - [c35]Rudi Coppola, Andrea Peruffo, Lars Lindemann, Manuel Mazo Jr.:
Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions. ECC 2024: 558-563 - [c34]Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann:
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. ICCPS 2024: 169-179 - [c33]Yanfei Zhou, Lars Lindemann, Matteo Sesia:
Conformalized Adaptive Forecasting of Heterogeneous Trajectories. ICML 2024 - [c32]Charis J. Stamouli, Lars Lindemann, George J. Pappas:
Recursively feasible shrinking-horizon MPC in dynamic environments with conformal prediction guarantees. L4DC 2024: 1330-1342 - [c31]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC 2024: 1343-1356 - [c30]Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh:
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. MEMOCODE 2024: 108-113 - [i56]Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas:
Low-Complexity Control for a Class of Uncertain MIMO Nonlinear Systems under Generalized Time-Varying Output Constraints. CoRR abs/2401.03997 (2024) - [i55]Yiqi Zhao, Xinyi Yu, Jyotirmoy V. Deshmukh, Lars Lindemann:
Conformal Predictive Programming for Chance Constrained Optimization. CoRR abs/2402.07407 (2024) - [i54]Yanfei Zhou, Lars Lindemann, Matteo Sesia:
Conformalized Adaptive Forecasting of Heterogeneous Trajectories. CoRR abs/2402.09623 (2024) - [i53]Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas:
Communication-Constrained STL Task Decomposition through Convex Optimization. CoRR abs/2402.17585 (2024) - [i52]Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Lars Lindemann, Margaret P. Chapman, George J. Pappas, Aaron D. Ames, Joel W. Burdick:
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification. CoRR abs/2403.18972 (2024) - [i51]Joris Verhagen, Lars Lindemann, Jana Tumova:
Robust STL Control Synthesis under Maximal Disturbance Sets. CoRR abs/2404.05535 (2024) - [i50]Farhad Nawaz, Shaoting Peng, Lars Lindemann, Nadia Figueroa, Nikolai Matni:
Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks. CoRR abs/2404.19594 (2024) - [i49]Eleftherios E. Vlahakis, Lars Lindemann, Pantelis Sopasakis, Dimos V. Dimarogonas:
Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic. CoRR abs/2405.02827 (2024) - [i48]Charis J. Stamouli, Lars Lindemann, George J. Pappas:
Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees. CoRR abs/2405.10875 (2024) - [i47]Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh:
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR abs/2407.11609 (2024) - [i46]Lars Lindemann, Yiqi Zhao, Xinyi Yu, George J. Pappas, Jyotirmoy V. Deshmukh:
Formal Verification and Control with Conformal Prediction. CoRR abs/2409.00536 (2024) - [i45]Arash Bahari Kordabad, Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas, Sadegh Soudjani:
Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications. CoRR abs/2409.03855 (2024) - [i44]Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas:
Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies. CoRR abs/2409.05106 (2024) - [i43]Paul Lutkus, Deepika Anantharaman, Stephen Tu, Lars Lindemann:
Incremental Composition of Learned Control Barrier Functions in Unknown Environments. CoRR abs/2409.12382 (2024) - [i42]Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas:
A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems. CoRR abs/2410.12563 (2024) - 2023
- [j14]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Combined Left and Right Temporal Robustness for Control Under STL Specifications. IEEE Control. Syst. Lett. 7: 619-624 (2023) - [j13]Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas:
Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. 8(8): 5116-5123 (2023) - [j12]Kegan J. Strawn, Nora Ayanian, Lars Lindemann:
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. IEEE Robotics Autom. Lett. 8(11): 7833-7840 (2023) - [j11]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. ACM Trans. Embed. Comput. Syst. 22(1): 13:1-13:44 (2023) - [j10]Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas:
Risk of Stochastic Systems for Temporal Logic Specifications. ACM Trans. Embed. Comput. Syst. 22(3): 54:1-54:31 (2023) - [c29]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. Allerton 2023: 1 - [c28]Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh:
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC 2023: 3102-3109 - [c27]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control Under Stochastic Sensor Uncertainty Using Conformal Prediction. CDC 2023: 6072-6078 - [c26]Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas:
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CDC 2023: 6743-6748 - [c25]Xinyi Yu, Xiang Yin, Lars Lindemann:
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. CDC 2023: 6847-6854 - [c24]Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh:
Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD 2023: 294-305 - [c23]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. ICCPS 2023: 142-153 - [c22]Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam:
Physics Constrained Motion Prediction with Uncertainty Quantification. IV 2023: 1-8 - [c21]Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick:
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC 2023: 300-314 - [i41]Renukanandan Tumu, Lars Lindemann, Truong Nghiem, Rahul Mangharam:
Physics Constrained Motion Prediction with Uncertainty Quantification. CoRR abs/2302.01060 (2023) - [i40]Shuo Yang, George J. Pappas, Rahul Mangharam, Lars Lindemann:
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction. CoRR abs/2304.00194 (2023) - [i39]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR abs/2304.01075 (2023) - [i38]Kegan J. Strawn, Nora Ayanian, Lars Lindemann:
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments. CoRR abs/2306.02551 (2023) - [i37]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Combined Left and Right Temporal Robustness for Control under STL Specifications. CoRR abs/2306.04936 (2023) - [i36]Farhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas:
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach. CoRR abs/2307.06465 (2023) - [i35]Xinyi Yu, Xiang Yin, Lars Lindemann:
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. CoRR abs/2307.12855 (2023) - [i34]Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh:
Conformance Testing for Stochastic Cyber-Physical Systems. CoRR abs/2308.06474 (2023) - [i33]Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh:
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR abs/2309.09187 (2023) - [i32]Joris Verhagen, Lars Lindemann, Jana Tumova:
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. CoRR abs/2310.10585 (2023) - [i31]Eleftherios E. Vlahakis, Lars Lindemann, Dimos V. Dimarogonas:
Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic. CoRR abs/2311.06890 (2023) - [i30]Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann:
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. CoRR abs/2311.09482 (2023) - [i29]Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR abs/2311.15531 (2023) - [i28]Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann:
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. CoRR abs/2312.04242 (2023) - [i27]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR abs/2312.07434 (2023) - 2022
- [j9]Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas:
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313: 103782 (2022) - [j8]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Reactive and Risk-Aware Control for Signal Temporal Logic. IEEE Trans. Autom. Control. 67(10): 5262-5277 (2022) - [c20]Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers:
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. ACC 2022: 1555-1562 - [c19]Pedro Roque, Wenceslao Shaw-Cortez, Lars Lindemann, Dimos V. Dimarogonas:
Corridor MPC: Towards Optimal and Safe Trajectory Tracking. ACC 2022: 2025-2032 - [c18]Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur:
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC 2022: 3389-3396 - [c17]Lars Lindemann, Alëna Rodionova, George J. Pappas:
Temporal Robustness of Stochastic Signals. HSCC 2022: 10:1-10:11 - [i26]Lars Lindemann, Alëna Rodionova, George J. Pappas:
Temporal Robustness of Stochastic Signals. CoRR abs/2202.02583 (2022) - [i25]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design. CoRR abs/2203.15661 (2022) - [i24]Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur:
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR abs/2204.00846 (2022) - [i23]Sleiman Safaoui, Lars Lindemann, Iman Shames, Tyler H. Summers:
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems. CoRR abs/2204.04310 (2022) - [i22]Lars Lindemann, Lejun Jiang, Nikolai Matni, George J. Pappas:
Risk of Stochastic Systems for Temporal Logic Specifications. CoRR abs/2205.14523 (2022) - [i21]Anton Xue, Lars Lindemann, Rajeev Alur:
Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR abs/2206.03482 (2022) - [i20]Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas:
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR abs/2209.09881 (2022) - [i19]Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas:
Safe Planning in Dynamic Environments using Conformal Prediction. CoRR abs/2210.10254 (2022) - [i18]Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas:
Conformal Prediction for STL Runtime Verification. CoRR abs/2211.01539 (2022) - [i17]Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick:
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR abs/2212.00278 (2022) - 2021
- [j7]Lars Lindemann, Jakub Nowak, Lukas Schönbächler, Meng Guo, Jana Tumova, Dimos V. Dimarogonas:
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks. IEEE Trans. Control. Syst. Technol. 29(2): 858-865 (2021) - [c16]Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni:
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. ADHS 2021: 1-6 - [c15]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Time-Robust Control for STL Specifications. CDC 2021: 572-579 - [c14]Lars Lindemann, Nikolai Matni, George J. Pappas:
STL Robustness Risk over Discrete-Time Stochastic Processes. CDC 2021: 1329-1335 - [c13]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC 2021: 5205-5212 - [i16]Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni:
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. CoRR abs/2101.06492 (2021) - [i15]Lars Lindemann, Dimos V. Dimarogonas:
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks. CoRR abs/2102.02609 (2021) - [i14]Lars Lindemann, Nikolai Matni, George J. Pappas:
STL Robustness Risk over Discrete-Time Stochastic Processes. CoRR abs/2104.01503 (2021) - [i13]Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas:
Time-Robust Control for STL Specifications. CoRR abs/2104.02677 (2021) - [i12]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR abs/2108.11983 (2021) - [i11]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Reactive and Risk-Aware Control for Signal Temporal Logic. CoRR abs/2108.13490 (2021) - [i10]Lars Lindemann, Alexander Robey, Lejun Jiang, Stephen Tu, Nikolai Matni:
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations. CoRR abs/2111.09971 (2021) - 2020
- [j6]Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers:
Control Design for Risk-Based Signal Temporal Logic Specifications. IEEE Control. Syst. Lett. 4(4): 1000-1005 (2020) - [j5]Lars Lindemann, Dimos V. Dimarogonas:
Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks. IEEE Trans. Control. Netw. Syst. 7(4): 1916-1928 (2020) - [c12]Lars Lindemann, Dimos V. Dimarogonas:
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. ACC 2020: 4707-4714 - [c11]Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas:
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications. CDC 2020: 1422-1428 - [c10]Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CDC 2020: 2056-2061 - [c9]Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni:
Learning Control Barrier Functions from Expert Demonstrations. CDC 2020: 3717-3724 - [c8]Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni:
Learning Hybrid Control Barrier Functions from Data. CoRL 2020: 1351-1370 - [i9]Alexander Robey, Haimin Hu, Lars Lindemann, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni:
Learning Control Barrier Functions from Expert Demonstrations. CoRR abs/2004.03315 (2020) - [i8]Sleiman Safaoui, Lars Lindemann, Dimos V. Dimarogonas, Iman Shames, Tyler H. Summers:
Control Design for Risk-Based Signal Temporal Logic Specifications. CoRR abs/2006.00317 (2020) - [i7]Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. CoRR abs/2009.02148 (2020) - [i6]Lars Lindemann, Haimin Hu, Alexander Robey, Hanwen Zhang, Dimos V. Dimarogonas, Stephen Tu, Nikolai Matni:
Learning Hybrid Control Barrier Functions from Data. CoRR abs/2011.04112 (2020) - [i5]Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas:
Event-triggered Feedback Control for Signal Temporal Logic Tasks. CoRR abs/2011.12772 (2020) - [i4]Lars Lindemann, Dimos V. Dimarogonas:
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. CoRR abs/2011.12775 (2020)
2010 – 2019
- 2019
- [j4]Lars Lindemann, Dimos V. Dimarogonas:
Robust control for signal temporal logic specifications using discrete average space robustness. Autom. 101: 377-387 (2019) - [j3]Lars Lindemann, Dimos V. Dimarogonas:
Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks. Autom. 106: 284-293 (2019) - [j2]Lars Lindemann, Dimos V. Dimarogonas:
Control Barrier Functions for Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. 3(1): 96-101 (2019) - [j1]Lars Lindemann, Dimos V. Dimarogonas:
Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks. IEEE Control. Syst. Lett. 3(3): 757-762 (2019) - [c7]Lars Lindemann, Dimos V. Dimarogonas:
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks. ECC 2019: 89-94 - [c6]Fernando S. Barbosa, Lars Lindemann, Dimos V. Dimarogonas, Jana Tumova:
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. ECC 2019: 2042-2049 - [i3]Lars Lindemann, Dimos V. Dimarogonas:
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications. CoRR abs/1909.11159 (2019) - 2018
- [c5]Lars Lindemann, Dimos V. Dimarogonas:
Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks. ACC 2018: 1567-1573 - [c4]Lars Lindemann, Dipankar Maity, John S. Baras, Dimos V. Dimarogonas:
Event-triggered Feedback Control for Signal Temporal Logic Tasks. CDC 2018: 146-151 - 2017
- [c3]Lars Lindemann, Dimos V. Dimarogonas:
Robust motion planning employing signal temporal logic. ACC 2017: 2950-2955 - [c2]Lars Lindemann, Christos K. Verginis, Dimos V. Dimarogonas:
Prescribed performance control for signal temporal logic specifications. CDC 2017: 2997-3002 - [i2]Lars Lindemann, Dimos V. Dimarogonas:
Robust Motion Planning employing Signal Temporal Logic. CoRR abs/1703.02075 (2017) - 2016
- [i1]Lars Lindemann, Dimos V. Dimarogonas:
Robust Control for Signal Temporal Logic Specifications using Average Space Robustness. CoRR abs/1607.07019 (2016) - 2011
- [c1]Lars Lindemann, Mario Thron, Thomas Bangemann, Oliver S. Großer:
Integration of medical equipment into SOA - Enabling technology for efficient workflow management. ETFA 2011: 1-8
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint