Wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Liste als BibTeX-Datei exportieren

2020

  • Oktober 2020BARK: Open Behavior Benchmarking in Multi-Agent EnvironmentsJulian Bernhard, Klemens Esterle, Patrick Hart und Tobias Kessler In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, DetailsBIB
  • Oktober 2020Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work ProductsCarmen Cârlan, Daniel Petrișor, Barbara Gallina und Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, IEEE. DetailsURLBIB
  • Oktober 2020Formalizing Traffic Rules for Machine InterpretabilityKlemens Esterle, Luis Gressenbuch und Alois Knoll In Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium (CAVS), Victoria, B.C. Canada, DetailsBIB
  • Oktober 2020Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic EnvironmentsPatrick Hart und Alois Knoll In In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), DetailsBIB
  • Oktober 2020Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer FormulationKlemens Esterle, Tobias Kessler und Alois Knoll In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Las Vegas, NV, USA, DetailsBIB
  • September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS,Seiten 298–306, Springer. DetailsDOIBIB
  • September 2020A Safety Case Pattern for Systems with Machine Learning ComponentsErnest Wozniak, Carmen Cârlan, Esra Acar-Celik und Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12235 von LNCS,Seiten 370–382, Springer. DetailsDOIBIB
  • September 2020An Ontology-based Metamodel for Capability DescriptionsMichael Weser, Jürgen Bock, Siwara Schmitt, Alexander Perzylo und Kathrin Evers In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Seiten 1679–1685, Vienna, Austria, DetailsDOIBIB
  • September 2020Information-centric Routing for Opportunistic Wireless Networks - draft-mendes-icnrg-dabber-05Paulo M. Mendes, Rute C. Sofia, Vassilis Tsaoussidis und Carlos BorregoIETF Network Working Group draft, experimental, ():, September 2020. DetailsURLBIB
  • September 2020Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper)Yuri Gil Dantas, Antoaneta Kondeva und Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, DetailsBIB