1
0
0
News
Visitenkarte "Maike Schwammberger"Stud.IP Uni Oldenburg
elearning.uni-oldenburg.de
Visitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud. Visitenkarte "Maike Schwammberger". Maike Schwammberger. · Alle Veranstaltungen anzeigen · Impressum · Support · Stud.
[Seminar ] SchwammbergerCarl von Ossietzky Universität Oldenburg
uol.de
— Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. Maike Schwammberger. Abstract. With Multi-lane Spatial — Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. Maike Schwammberger. Abstract. With Multi-lane Spatial ...
Visitenkarte - Alle Veranstaltungen für "Maike Schwammberger"Stud.IP Uni Oldenburg
elearning.uni-oldenburg.de
Aktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ... Aktuelle Lehrveranstaltungen für Maike Schwammberger · Sommersemester · Sommersemester · Sommersemester · Wintersemester · Sommersemester ...
Visitenkarte "Maike Schwammberger, M. Sc Stud.IP
elearning.uni-oldenburg.de
Maike Schwammberger, M. Sc. . Department für Informatik. Anschrift: Fakultät II - Informatik, Wirtschafts- und ...
Netzwerk-Profile
LinkedIn: Maike Schwammberger – Research And Teaching Assistant ...
1 Job ist im Profil von Maike Schwammberger aufgelistet. Sehen Sie sich auf LinkedIn das vollständige Profil an. Erfahren Sie mehr über die Kontakte von Maike ...
[Video] Maike Schwammberger auf LinkedIn: #hyperlaunch ...
de.linkedin.com
Profil von Maike Schwammberger anzeigen, Grafik. Maike Schwammberger. Junior Professor | Modelling and Analysing the Intelligent Mobility of ... Profil von Maike Schwammberger anzeigen, Grafik. Maike Schwammberger. Junior Professor | Modelling and Analysing the Intelligent Mobility of ...
LinkedIn: de.linkedin.com
... Maike Schwammberger. 'Advances in Formal Methods for Autonomous Systems' will showcase the advances of formal methods for autonomous systems ...
Twitter Profil: FMASWorkshopX · FmasWorkshop540+ Follower
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by ... Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by ...
Business-Profile
Maike Schwammberger Karlsruhe Institute of TechnologyResearchGate
www.researchgate.net
Maike SCHWAMMBERGER, Juniorprofessor | Cited by 134 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ... Maike SCHWAMMBERGER, Juniorprofessor | Cited by 134 | of Karlsruhe Institute of Technology, Karlsruhe (KIT) | Read 24 publications | Contact Maike ...
Poster: Towards Explaining the Effects of Contextual ...
www.alexandria.unisg.ch
von S Jha — Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, and Andreas. Wortmann Towards self-explainable cyber-physical systems. › IOT2021_poste...
Firmen-Mitarbeiter
Advising Autonomous Cars about the Rules of the Road
personalpages.manchester.ac.uk
von J Collenette · Zitiert von: 1 — [30] Maike Schwammberger (2018): An abstract model for proving safety of autonomous urban traffic. The- oretical Computer Science 744, pp. › pubs › R...
Louise Dennis: PublicationsThe University of Manchester
personalpages.manchester.ac.uk
Dennis and Maike Schwammberger. A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers Third International Workshop on Requirements ... Dennis and Maike Schwammberger. A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers Third International Workshop on Requirements ...
Unterschriften - Scientists 4 Future
de.scientists4future.org
Scientists for Future - die Stellungnahme, Infomaterial, Klimawandel - Argumente, Regionalgruppen, thematische Arbeitsgruppen, Empfehlungen
Private Homepages
Jun.-Prof. Dr. Maike Schwammberger // University of Oldenburg
uol.de
FM International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, M. Schwammberger, "Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL" in Proc. Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th ...
Maike Schwammberger, M.Sc. // University of Oldenburg
uol.de
WebEmbed -Suche einbinden search (Mit der Aktivierung der Google-Suche bestätigen Sie, dass Sie mit der Einbindung und der dazu erforderlichen Datenübermittlung an Google â¦
Ausbildung
ACM Transactions on Cyber-Physical SystemsScholars Portal Journals
journals.scholarsportal.info
Maike Schwammberger · ORCID ID · Mark Schweda · ORCID ID · Alexander Trende · ORCID ID · Anirudh Unni · ORCID ID · Eric Veith · ORCID ID. Source Information. Maike Schwammberger · ORCID ID · Mark Schweda · ORCID ID · Alexander Trende · ORCID ID · Anirudh Unni · ORCID ID · Eric Veith · ORCID ID. Source Information.
Systems and Control authors/titles Sep UniZar
cierzo.unizar.es
Authors: Maike Schwammberger (University of Oldenburg). Comments: In Proceedings FVAV 2017, arXiv: Journal-ref: EPTCS 257, 2017, pp
Projekte
DEMO4 - AMASE2RCInnovationsCampus Mobilität der Zukunft (ICM)
www.icm-bw.de
... Maike Schwammberger. By appearing at events such as Girls Day, we can reach female prospective students in particular and thus help ensure that the Maike Schwammberger. By appearing at events such as Girls Day, we can reach female prospective students in particular and thus help ensure that the ...
Bücher
Maike SchwammbergerFigshare
figshare.com
Usage metrics · Co-workers & collaborators · Maike Schwammberger's public data · collection: Verification of Fair Controllers for Urban Traffic Manoeuvres at ... Usage metrics · Co-workers & collaborators · Maike Schwammberger's public data · collection: Verification of Fair Controllers for Urban Traffic Manoeuvres at ...
Distributed Controllers for Provably Safe, Live and Fair ...Google Books
books.google.com
Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic. Front Cover. Maike Schwammberger. Carl von Ossietzky ... Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic. Front Cover. Maike Schwammberger. Carl von Ossietzky ...
Mathias BlumreiterPapers With Code
paperswithcode.com
... Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann. With the increasing complexity of CPSs, their behavior and decisions become Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, Andreas Wortmann. With the increasing complexity of CPSs, their behavior and decisions become ...
Integrated Formal Methods: 17th International Conference, ...google.com
books.google.com
... Maike Schwammberger Graeme Smith University of Oldenburg, Germany University of Queensland, Australia. Steering. Committee. Erika Ábrahám Wolfgang Ahrendt ...
Dokumente zum Namen
An Extraction and Refinement Process for Timed AutomataarXiv
arxiv.org
von M Schwammberger · · Zitiert von: 7 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ... von M Schwammberger · · Zitiert von: 7 — From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. Authors:Maike Schwammberger ( ...
Jun.-Prof. Dr. Maike Schwammberger // Modellierung und Analyse im...
www.informatik.kit.edu
Maike Schwammberger startet Ende als Juniorprofes-sorin an der KIT Fakultät für Informatik und baut eine For-schungsgruppe im Themenbereich Modellierung und Ana-lyse im Mobility Software Engineering auf. Nachdem sie Mathematik, Kunst und Medien und Informatik an der Universität Oldenburg studierte, promovierte sie ab in der ...
Imperfect Knowledge in Autonomous Urban Traffic ...arXiv
arxiv.org
von M Schwammberger · · Zitiert von: 9 — Title:Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. Authors:Maike Schwammberger (University of Oldenburg). View a PDF of the ... von M Schwammberger · · Zitiert von: 9 — Title:Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. Authors:Maike Schwammberger (University of Oldenburg). View a PDF of the ...
A Reference Architecture of Human Cyber-Physical SystemsACM Digital Library
dl.acm.org
von W Damm · · Zitiert von: 2 — ... Maike Schwammberger, Mark Schweda, Anirudh Unni, and Eric Veith A reference architecture for human cyber physical systems- part II ... von W Damm · · Zitiert von: 2 — ... Maike Schwammberger, Mark Schweda, Anirudh Unni, and Eric Veith A reference architecture for human cyber physical systems- part II ...
Wissenschaftliche Veröffentlichungen
Science of Computer Programming | Article collectionsScienceDirect.com
www.sciencedirect.com
Advances in Formal Methods for Autonomous Systems. Guest editors: Matt Luckcuck, Marie Farrell, Mario Gleirscher, Maike Schwammberger - Submission deadline: Advances in Formal Methods for Autonomous Systems. Guest editors: Matt Luckcuck, Marie Farrell, Mario Gleirscher, Maike Schwammberger - Submission deadline:
Suche in der Hochschulbibliografie - BIS - Bibliotheks- und ...Uni Oldenburg
diglib.bis.uni-oldenburg.de
von Maike Schwammberger ; Christopher Harper ; Gleifer Vaz Alves ; Greg Chance ; Tony Pipe ; Kerstin Eder Details anzeigen. von Maike Schwammberger ; Christopher Harper ; Gleifer Vaz Alves ; Greg Chance ; Tony Pipe ; Kerstin Eder Details anzeigen.
Workshop Proceedings 2021Leibniz Universität Hannover
exen.se.uni-hannover.de
Authors: Maike Schwammberger DOI: https://doi.org REW Presentation Slides: A Quest of Self-Explainability. Workshop Results. Below is ... Authors: Maike Schwammberger DOI: https://doi.org REW Presentation Slides: A Quest of Self-Explainability. Workshop Results. Below is ...
Imperfect Knowledge in Autonomous Urban Traffic ...DBLP
dblp.org
— Maike Schwammberger : Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. FVAV@iFM 2017: — Maike Schwammberger : Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. FVAV@iFM 2017:
Veröffentlichungen allgemein
A Quest of Self-ExplainabilityLeibniz Universität Hannover
exen.se.uni-hannover.de
— ... A Quest of Self-Explainability: — When Causal Diagrams meet,Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES' — ... A Quest of Self-Explainability: — When Causal Diagrams meet,Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES'21.
An Abstract Model for Proving Safety of Autonomous Urban Traffic |...
link.springer.com
Martin Hilscher (15); Maike Schwammberger · - oldenburg.de (15). Author Affiliations Department of ...
A Quest of Self-Explainability: - When Causal Diagrams meet ...
re4es.se.uni-hannover.de
A Quest of Self-Explainability: When Causal Diagrams meet. Autonomous Urban Traffic Manoeuvres. Dr. Maike Schwammberger @RE4ES' September ›
Integrating Formal Verification and Simulation-based ...DeepAI
deepai.org
— by Maike Schwammberger, et al Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV — by Maike Schwammberger, et al Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV ...
Video & Audio
"Erst KIT und dann?"YouTube · KITinformatik110+ Aufrufe · vor 6 Monaten
www.youtube.com
Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger. KITinformatik•723 views · 1:02:18 · Go to channel · 3. eezi-Vorlesung WS
Alpha-Magnet-Spectrometer (AMS)YouTube · KITinformatik450+ Aufrufe · vor 12 Jahren
www.youtube.com
... Antrittsvorlesungen Jun-Prof. Maike Schwammberger and Prof. André Platzer. KITinformatik•206 views · 3:50:19 · Go to channel · Wolfram Physics ...
Antrittsvorlesungen und Verabschiedungen / Inaugural ...YouTube · KITinformatik3290+ Follower
www.youtube.com
Maike Schwammberger and Prof. André Platzer. KITinformatik · 24:44 · Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger. KITinformatik. Maike Schwammberger and Prof. André Platzer. KITinformatik · 24:44 · Inaugural Lecture / Antrittsvorlesung Jun.-Prof. Maike Schwammberger. KITinformatik.
Autonomous Learning in RoboticsYouTube · KITinformatik670+ Aufrufe · vor 12 Jahren
www.youtube.com
... Antrittsvorlesungen Jun-Prof. Maike Schwammberger and Prof. André Platzer. KITinformatik•220 views · 1:41. Go to channel · "Erst KIT und dann ...
Artikel & Meinungen
Twitter-Nachrichten: KIT-Fakultät für InformatikX · KITinformatik5 „Gefällt mir“-Angaben · vor 6 Monaten
beim 7. Jahrestreffen des Strategiedialogs #Automobilwirtschaft SDA BW. Mit dabei war auch unsere Professorin Maike Schwammberger und ... beim 7. Jahrestreffen des Strategiedialogs #Automobilwirtschaft SDA BW. Mit dabei war auch unsere Professorin Maike Schwammberger und ...
Forum MINT – Vortragsprogramm auf der ...Vocatium
www.vocatium.de
– Uhr. Warum hast du das getan? Wie Autonome Roboter sich selbst erklären können. Jun.-Prof. Dr. Maike Schwammberger, KASTEL - Institut für – Uhr. Warum hast du das getan? Wie Autonome Roboter sich selbst erklären können. Jun.-Prof. Dr. Maike Schwammberger, KASTEL - Institut für ...
Google Groups: [DarkVamp Rundmail 26] Re: Wahl
: Maike Schwammberger ... DarkVamp joa, von mir aus doch die
Twitter-Nachrichten: FMASWorkshop on Twitter: "#NewPaper Extending Urban ...
— #NewPaper Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules by Maike Schwammberger &. › status
Sonstiges
Maike SchwammbergerGoogle Scholar
scholar.google.de
Maike Schwammberger. Junior Professor, Karlsruhe Institute of Technology, Germany. Verified email at kit.edu - Homepage · real-time systems ... Maike Schwammberger. Junior Professor, Karlsruhe Institute of Technology, Germany. Verified email at kit.edu - Homepage · real-time systems ...
KIT - Team
mase.kastel.kit.edu
Modellierung und Analyse im Mobility Software Engineering. Jun.-Prof. Dr. Maike Schwammberger. schwammberger ∂ kit edu. Am Fasanengarten Karlsruhe.
KIT - Startseite
mase.kastel.kit.edu
12. Apr · Die Gruppe Modellierung und Analyse im Mobility Software Engineering (MASE) wurde gegründet und wird von Jun.-Prof. Dr. Maike Schwammberger geleitet. Die Forschungsgruppe Modellierung und Analyse im Mobility Software-Engineering beschäftigt sich mit angewandten und theoretischen Methoden im Bereich des Autonomen Fahrens.
1000 results found for "law"OpenReview
openreview.net
pdf icon · hmtl icon · Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger. Published: 31 Dec 2022, Last Modified: 02 Feb 2024; REW 2023; Readers: Everyone ... pdf icon · hmtl icon · Miriam C. Buiten, Louise A. Dennis, Maike Schwammberger. Published: 31 Dec 2022, Last Modified: 02 Feb 2024; REW 2023; Readers: Everyone ...
A Vision on What Explanations of Autonomous Systems are of ...Research Explorer The University of Manchester
research.manchester.ac.uk
von M Schwammberger · — A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. Miriam c. Buiten, Louise a. Dennis, Maike Schwammberger. Autonomy and ... von M Schwammberger · — A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. Miriam c. Buiten, Louise a. Dennis, Maike Schwammberger. Autonomy and ...
ETAPS Extended Stay Support Scheme (ESSS)etaps 2024
etaps.org
Karlsruhe Institute of Technology, Karlsruhe Contact: Bernhard Beckert, Andre Platzer, Ina Schaefer, Maike Schwammberger. How To Apply? For applying as a ... Karlsruhe Institute of Technology, Karlsruhe Contact: Bernhard Beckert, Andre Platzer, Ina Schaefer, Maike Schwammberger. How To Apply? For applying as a ...
Explaining Cyberphysical System Behavior With Digital ...IEEE Computer Society
www.computer.org
von J Michael · · Zitiert von: 3 — Maike Schwammberger is an assistant professor at Karlsruhe Institute of Technology, Karlsruhe, Germany. Her research interests include the ... von J Michael · · Zitiert von: 3 — Maike Schwammberger is an assistant professor at Karlsruhe Institute of Technology, Karlsruhe, Germany. Her research interests include the ...
Extending Urban Multi-Lane Spatial Logic to Formalise ...OUCI
ouci.dntb.gov.ua
Authors: Maike Schwammberger, Gleifer Vaz Alves. List of references. Alur, A Theory of Timed Automata, Theoretical Computer Science, № 126, с https://doi ... Authors: Maike Schwammberger, Gleifer Vaz Alves. List of references. Alur, A Theory of Timed Automata, Theoretical Computer Science, № 126, с https://doi ...
Formal Ethical Agents and Robots — FEARThe University of Manchester
ifm2024.cs.manchester.ac.uk
Maike Schwammberger, Karlsruhe Institute of Technology; Marija Slavkovik, University of Bergen; Dieter Vanderelst, University of Cincinnati; Gleifer Vaz Alves ... Maike Schwammberger, Karlsruhe Institute of Technology; Marija Slavkovik, University of Bergen; Dieter Vanderelst, University of Cincinnati; Gleifer Vaz Alves ...
Helper controller A hc | Download Scientific DiagramResearchGate
www.researchgate.net
Maike Schwammberger. Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous ... Maike Schwammberger. Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous ...
Integrated Rigorous Analysis in Cyber-Physical Systems ...dagstuhl.de
drops.dagstuhl.de
von E Abraham · — Maike Schwammberger Maike Schwammberger, Thierry Lecomte, and Alan Wassyng Digital Twins. Peter Gorm Larse, Einar Broch ... von E Abraham · — Maike Schwammberger Maike Schwammberger, Thierry Lecomte, and Alan Wassyng Digital Twins. Peter Gorm Larse, Einar Broch ...
Maike SchwammbergerEasyChair
easychair.org
Maike Schwammberger. Organization: University of Oldenburg. Web page: http://www.uni-oldenburg.de/csd. Pages in this Program. Program · Program for Friday ... Maike Schwammberger. Organization: University of Oldenburg. Web page: http://www.uni-oldenburg.de/csd. Pages in this Program. Program · Program for Friday ...
Maike SchwammbergerThe Mathematics Genealogy Project
www.mathgenealogy.org
Maike Schwammberger. Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg Germany. Dissertation: Mathematics Subject Classification: 68—Computer ... Maike Schwammberger. Dr. rer. nat. Carl-von-Ossietzky-Universität Oldenburg Germany. Dissertation: Mathematics Subject Classification: 68—Computer ...
Michel' Angelo Grima HallWorld Conference on Explainable Artificial Intelligence
xaiworldconference.com
10:30 am. CHAIRS: Maike Schwammberger, Verena Kloes. Applications of XAI 9:00 am - 10:30 am. Keynote 9:30 am - 10:30 am. Prof. Fosca Giannotti - Towards a :30 am. CHAIRS: Maike Schwammberger, Verena Kloes. Applications of XAI 9:00 am - 10:30 am. Keynote 9:30 am - 10:30 am. Prof. Fosca Giannotti - Towards a ...
Proceedings Fifth International Workshop on Formal ...Ruhr-Universität Bochum
bibliographie.ub.rub.de
Leiden, The Netherlands, 15th and 16th of November · Marie Farrell, · Matt Luckcuck, · Mario Gleirscher, · Maike Schwammberger. Leiden, The Netherlands, 15th and 16th of November · Marie Farrell, · Matt Luckcuck, · Mario Gleirscher, · Maike Schwammberger.
Program Committee Awards | 26th European Conference ...European Conference on Artificial Intelligence ECAI 2023
ecai2023.eu
Maike Schwammberger Swaprava Nath François Durand Jordi Coll Caballero Vasco Manquinho Arianna Novaro Nardine Osman Alexandre Niveau Stéphanie Roussel Maike Schwammberger Swaprava Nath François Durand Jordi Coll Caballero Vasco Manquinho Arianna Novaro Nardine Osman Alexandre Niveau Stéphanie Roussel
Protokoll vom fachschaft-informatik.de
fachschaft-informatik.de
... Maike Schwammberger (FS Informatik). TOP Feedback aus dem Nurpel. nichts. TOP Berichte. StudienAG: Master-Zulassungsordnung wird nochmal überarbeitet Maike Schwammberger (FS Informatik). TOP Feedback aus dem Nurpel. nichts. TOP Berichte. StudienAG: Master-Zulassungsordnung wird nochmal überarbeitet ...
PubPeer - Search publications and join the conversation.PubPeer
www.pubpeer.com
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. Maike Schwammberger, Gleifer Vaz Alves. Electronic Proceedings in Theoretical ... Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. Maike Schwammberger, Gleifer Vaz Alves. Electronic Proceedings in Theoretical ...
Publications - Andreas WortmannGitHub
awortmann.github.io
... Maike Schwammberger, and Andreas Wortmann In IEEE Software, IEEE, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, and Andreas Maike Schwammberger, and Andreas Wortmann In IEEE Software, IEEE, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang, and Andreas ...
ReferencesUNSW Sydney
cgi.cse.unsw.edu.au
Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang & Andreas Wortmann ( ... Mathias Blumreiter, Joel Greenyer, Francisco Javier Chiyah Garcia, Verena Klös, Maike Schwammberger, Christoph Sommer, Andreas Vogelsang & Andreas Wortmann ( ...
Verwandte Suchanfragen zu Maike Schwammberger
Christoph Sommer Martin Hilscher Andreas Vogelsang | Mathias Blumreiter Ernst-Rüdiger Olderog Verena Klös | Mark Schweda Sven Linker Mario Gleirscher |
Personen Vorname "Maike" (8913) Name "Schwammberger" (36) |
sortiert nach Relevanz / Datum