Synthesizing cooperative reactive mission plans

Rüdiger Ehlers; Robert Könighofer; Roderick Bloem

doi:10.1109/IROS.2015.7353862

Synthesizing cooperative reactive mission plans

Rüdiger Ehlers, Robert Könighofer, Roderick Bloem

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	International Conference on Intelligent Robots and Systems (IROS'15)
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	3478-3485
ISBN (Print)	978-1-4799-9994-1
DOIs	https://doi.org/10.1109/IROS.2015.7353862
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	International Conference on Intelligent Robots and Systems - Taipeh, Taiwan Dauer: 18 Okt. 2010 → 22 Okt. 2010

Konferenz

Konferenz	International Conference on Intelligent Robots and Systems
Land/Gebiet	Taiwan
Ort	Taipeh
Zeitraum	18/10/10 → 22/10/10

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.1109/IROS.2015.7353862

iros15.pdfEndgültige, publizierte Fassung, 280 KB

Andere Dateien und Links

EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Projekt: Forschungsprojekt
EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Forschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{987957857def40eb935150ce1216ff9b,

title = "Synthesizing cooperative reactive mission plans",

author = "R{\"u}diger Ehlers and Robert K{\"o}nighofer and Roderick Bloem",

year = "2015",

doi = "10.1109/IROS.2015.7353862",

language = "English",

isbn = "978-1-4799-9994-1",

pages = "3478--3485",

booktitle = "International Conference on Intelligent Robots and Systems (IROS'15)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "International Conference on Intelligent Robots and Systems ; Conference date: 18-10-2010 Through 22-10-2010",

}

TY - GEN

T1 - Synthesizing cooperative reactive mission plans

AU - Ehlers, Rüdiger

AU - Könighofer, Robert

AU - Bloem, Roderick

PY - 2015

Y1 - 2015

UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7347169

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7353862

U2 - 10.1109/IROS.2015.7353862

DO - 10.1109/IROS.2015.7353862

M3 - Conference paper

SN - 978-1-4799-9994-1

SP - 3478

EP - 3485

BT - International Conference on Intelligent Robots and Systems (IROS'15)

PB - Institute of Electrical and Electronics Engineers

T2 - International Conference on Intelligent Robots and Systems

Y2 - 18 October 2010 through 22 October 2010

ER -

Synthesizing cooperative reactive mission plans

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

RiSE - Rigorous Systems Engineering

Dieses zitieren