BibTeX records: Lisa Kiekbusch

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics