Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icstcc/VobetawinkelR19
%A Voßwinkel, Rick
%A Röbenack, Klaus
%B ICSTCC
%D 2019
%I IEEE
%K dblp
%P 186-191
%T A Control Lyapunov Function Approach Using Quantifier Elimination.
%U http://dblp.uni-trier.de/db/conf/icstcc/icstcc2019.html#VobetawinkelR19
%@ 978-1-7281-0699-1
@inproceedings{conf/icstcc/VobetawinkelR19,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Voßwinkel, Rick and Röbenack, Klaus},
biburl = {https://www.bibsonomy.org/bibtex/231217830c058a42392f62532636e5856/dblp},
booktitle = {ICSTCC},
crossref = {conf/icstcc/2019},
ee = {https://doi.org/10.1109/ICSTCC.2019.8885848},
interhash = {9d9dd58c8032cf751ab33f1be8a0bdbc},
intrahash = {31217830c058a42392f62532636e5856},
isbn = {978-1-7281-0699-1},
keywords = {dblp},
pages = {186-191},
publisher = {IEEE},
timestamp = {2024-04-10T14:31:43.000+0200},
title = {A Control Lyapunov Function Approach Using Quantifier Elimination.},
url = {http://dblp.uni-trier.de/db/conf/icstcc/icstcc2019.html#VobetawinkelR19},
year = 2019
}