Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Rüdiger Ehlers"'
Autor:
Basel Alhaji, Janine Beecken, Rüdiger Ehlers, Jan Gertheiss, Felix Merz, Jörg P. Müller, Michael Prilla, Andreas Rausch, Andreas Reinhardt, Delphine Reinhardt, Christian Rembe, Niels-Ole Rohweder, Christoph Schwindt, Stephan Westphal, Jürgen Zimmermann
Publikováno v:
Big Data and Cognitive Computing, Vol 4, Iss 4, p 35 (2020)
The way humans and artificially intelligent machines interact is undergoing a dramatic change. This change becomes particularly apparent in domains where humans and machines collaboratively work on joint tasks or objects in teams, such as in industri
Externí odkaz:
https://doaj.org/article/c39e2234e1f44275abd9c2789335f8d8
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 178, Iss Proc. FESCA 2015, Pp 22-32 (2015)
We propose a path-based approach to program repair for imperative programs. Our repair framework takes as input a faulty program, a logic specification that is refuted, and a hint where the fault may be located. An iterative abstraction refinement lo
Externí odkaz:
https://doaj.org/article/f1e62b5d25d6495b93c739472829cc73
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 34-50 (2014)
The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals
Externí odkaz:
https://doaj.org/article/03332321568842068c90d1d2e10b178e
Autor:
Rüdiger Ehlers, Vasumathi Raman
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 117-133 (2014)
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engineers need effective and efficient means of debugging these specificatio
Externí odkaz:
https://doaj.org/article/edca8200653f479f83b8e5c148f090e1
Autor:
Rüdiger Ehlers, Daniela Moldovan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 84, Iss Proc. SYNT 2012, Pp 1-16 (2012)
We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one
Externí odkaz:
https://doaj.org/article/d152b827e5bd4f0bbae55e61713b2684
Autor:
Rüdiger Ehlers, Bernd Finkbeiner
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 54, Iss Proc. GandALF 2011, Pp 178-191 (2011)
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model checking, and synthesis problems. In this paper, we revisit the notion o
Externí odkaz:
https://doaj.org/article/8f369b273ca44a30b6a50e71404bd755
Autor:
Rüdiger Ehlers
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 50, Iss Proc. iWIGP 2011, Pp 1-16 (2011)
We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publicly available synthesis tools, and then draw conclusions by deriving
Externí odkaz:
https://doaj.org/article/67b0d8f4079d4fafadd194efc961b2c7
Publikováno v:
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783031288128
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8593ce4398cbedac77de3b4bd273e08b
https://doi.org/10.1007/978-3-031-28813-5_2
https://doi.org/10.1007/978-3-031-28813-5_2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f962ca2fb60383b1fc501f0e2d516e5a
https://doi.org/10.1007/978-3-031-22337-2_31
https://doi.org/10.1007/978-3-031-22337-2_31
We study the problem of synthesizing implementations from temporal logic specifications that need to work correctly in all environments that can be represented as transducers with a limited number of states. This problem was originally defined and st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8956a755ed6532b9deecc215a6e2fe9d