Ruediger Ehlers

Cytowane przez

	Wszystkie	Od 2020
Cytowania	3423	2400
h-indeks	22	17
i10-indeks	44	25

560

280

140

420

20112012201320142015201620172018201920202021202220232024202524 61 48 82 85 127 104 205 258 354 398 506 552 527 60

Dostęp publiczny

Wyświetl wszystko

42 artykuły

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Ufuk TopcuThe University of Texas at AustinZweryfikowany adres z utexas.edu
Roderick BloemGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaZweryfikowany adres z iaik.tugraz.at
Hadas Kress-GazitCornell UniversityZweryfikowany adres z cornell.edu
Robert KönighoferGraz University of TechnologyZweryfikowany adres z iaik.tugraz.at
Hans-Jörg PeterSiemens EDAZweryfikowany adres z siemens.com
Scott NiekumAssociate Professor, University of Massachusetts AmherstZweryfikowany adres z cs.umass.edu
Mohammed AlshiekhResearcher at University of Texas at AustinZweryfikowany adres z utexas.edu
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityZweryfikowany adres z cispa.de
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAZweryfikowany adres z umich.edu
Vasumathi RamanZweryfikowany adres z cds.caltech.edu
Stavros TripakisAssociate Professor, Northeastern UniversityZweryfikowany adres z northeastern.edu
Moshe Y. VardiRice UniversityZweryfikowany adres z cs.rice.edu
Michael GerkeSchloss Dagstuhl - Leibniz-Zentrum für InformatikZweryfikowany adres z dagstuhl.de
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusZweryfikowany adres z cispa.saarland
Kai Weng Wong (Catherine Wong)Cornell UniversityZweryfikowany adres z cornell.edu
Robert MattmüllerUniversity of Freiburg, GermanyZweryfikowany adres z robert-mattmueller.de
Min WenGoogleZweryfikowany adres z google.com
Leander TentrupSaarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
Adam WalkerNICTA/UNSWZweryfikowany adres z nicta.com.au

Obserwuj

Ruediger Ehlers

Clausthal University of Technology

Zweryfikowany adres z tu-clausthal.de - Strona główna

Cyber-Physical Systems Formal Methods Complexity theory Reactive Systems


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Safe reinforcement learning via shielding M Alshiekh, R Bloem, R Ehlers, B Könighofer, S Niekum, U Topcu Thirty-Second AAAI Conference on Artificial Intelligence, 2018	895	2018
Formal verification of piece-wise linear feed-forward neural networks R Ehlers Automated Technology for Verification and Analysis: 15th International …, 2017	876	2017
Slugs: Extensible GR (1) Synthesis R Ehlers, V Raman International Conference on Computer Aided Verification, 333-339, 2016	135	2016
Symbolic bounded synthesis R Ehlers Formal Methods in System Design 40 (2), 232-262, 2012	117	2012
Unbeast: Symbolic bounded synthesis R Ehlers International Conference on Tools and Algorithms for the Construction and …, 2011	110	2011
Safe Multi-Agent Reinforcement Learning via Shielding I Elsayed-Aly, S Bharadwaj, C Amato, R Ehlers, U Topcu, L Feng arXiv preprint arXiv:2101.11196, 2021	106	2021
Supervisory control and reactive synthesis: a comparative introduction R Ehlers, S Lafortune, S Tripakis, MY Vardi Discrete Event Dynamic Systems, 1-52, 2016	89	2016
Correct-by-synthesis reinforcement learning with temporal logic constraints M Wen, R Ehlers, U Topcu 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015	71	2015
How to Handle Assumptions in Synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer EPTCS 157, 34-50, 0	68*
The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International Journal on Software Tools for Technology Transfer, 1-24, 2016	54	2016
Resilience to intermittent assumption violations in reactive synthesis R Ehlers, U Topcu Proceedings of the 17th international conference on Hybrid systems …, 2014	53	2014
Formalizing and guaranteeing human-robot interaction H Kress-Gazit, K Eder, G Hoffman, H Admoni, B Argall, R Ehlers, ... Communications of the ACM 64 (9), 78-84, 2021	48	2021
Generalized Rabin (1) synthesis with applications to robust system synthesis R Ehlers NASA Formal Methods Symposium, 101-115, 2011	46	2011
Correct High-level Robot Behavior in Environments with Unexpected Events. KW Wong, R Ehlers, H Kress-Gazit Robotics: Science and Systems, 2014	42	2014
Synthia: verification and synthesis for timed automata HJ Peter, R Ehlers, R Mattmüller Computer Aided Verification, 649-655, 2011	36	2011
Cooperative reactive synthesis R Bloem, R Ehlers, R Könighofer International Symposium on Automated Technology for Verification and …, 2015	34	2015
Synthesizing cooperative reactive mission plans R Ehlers, R Könighofer, R Bloem IROS, IEEE, 2015	30	2015
Symbolically synthesizing small circuits R Ehlers, R Künighofer, G Hofferek Formal Methods in Computer-Aided Design (FMCAD), 2012, 91-100, 2012	30	2012
Fully symbolic timed model checking using constraint matrix diagrams R Ehlers, D Fass, M Gerke, HJ Peter Real-Time Systems Symposium (RTSS), 2010 IEEE 31st, 360-371, 2010	29	2010
Bridging the gap between supervisory control and reactive synthesis: case of full observation and centralized control R Ehlers, S Lafortune, S Tripakis, M Vardi 12th IFAC international workshop on discrete event systems (WODES), 2014	28	2014

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy