Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Lisa Kiekbusch
@phdthesis{DBLP:phd/basesearch/Kiekbusch17, author = {Lisa Kiekbusch}, title = {Analysis and Verification of Complex Robot Systems using Behaviour-Based Control}, school = {Kaiserslautern University, Germany}, year = {2017}, url = {https://kluedo.ub.rptu.de/frontdoor/index/index/docId/4616}, urn = {urn:nbn:de:hbz:386-kluedo-46162}, timestamp = {Wed, 28 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Kiekbusch17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ias/KiekbuschAB14, author = {Lisa Kiekbusch and Christopher Armbrust and Karsten Berns}, editor = {Emanuele Menegatti and Nathan Michael and Karsten Berns and Hiroaki Yamaguchi}, title = {Formal Verification of Behaviour Networks Including Hardware Failures}, booktitle = {Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014}, series = {Advances in Intelligent Systems and Computing}, volume = {302}, pages = {1571--1582}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08338-4\_113}, doi = {10.1007/978-3-319-08338-4\_113}, timestamp = {Tue, 23 May 2017 01:06:19 +0200}, biburl = {https://dblp.org/rec/conf/ias/KiekbuschAB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ai/ArmbrustRKB13, author = {Christopher Armbrust and Thorsten Ropertz and Lisa Kiekbusch and Karsten Berns}, editor = {Osmar R. Za{\"{\i}}ane and Sandra Zilles}, title = {Quantitative Aspects of Behaviour Network Verification}, booktitle = {Advances in Artificial Intelligence, 26th Canadian Conference on Artificial Intelligence, Canadian {AI} 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7884}, pages = {218--225}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38457-8\_19}, doi = {10.1007/978-3-642-38457-8\_19}, timestamp = {Thu, 28 Sep 2023 12:27:13 +0200}, biburl = {https://dblp.org/rec/conf/ai/ArmbrustRKB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/ArmbrustKRB13, author = {Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns}, title = {Tool-assisted verification of behaviour networks}, booktitle = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013}, pages = {1813--1820}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ICRA.2013.6630816}, doi = {10.1109/ICRA.2013.6630816}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/icra/ArmbrustKRB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/ArmbrustKRB12, author = {Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns}, editor = {Birte Glimm and Antonio Kr{\"{u}}ger}, title = {Verification of Behaviour Networks Using Finite-State Automata}, booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7526}, pages = {1--12}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33347-7\_1}, doi = {10.1007/978-3-642-33347-7\_1}, timestamp = {Sat, 30 Sep 2023 09:51:50 +0200}, biburl = {https://dblp.org/rec/conf/ki/ArmbrustKRB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icinco/ArmbrustKB11, author = {Christopher Armbrust and Lisa Kiekbusch and Karsten Berns}, editor = {Jean{-}Louis Ferrier and Alain Bernard and Oleg Yu. Gusikhin and Kurosh Madani}, title = {Using Behaviour Activity Sequences for Motion Generation and Situation Recognition}, booktitle = {{ICINCO} 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28 - 31 July, 2011}, pages = {120--127}, publisher = {SciTePress}, year = {2011}, timestamp = {Wed, 02 May 2012 08:27:36 +0200}, biburl = {https://dblp.org/rec/conf/icinco/ArmbrustKB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.