Output-Sensitive Algorithms for Reactive Synthesis

Publications

Book chapters (34)

Automatic Optimizations for Stream-Based Monitoring Languages

Author(s): Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 451-461
DOI: 10.1007/978-3-030-60508-7_25

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 64-76
DOI: 10.1007/978-3-030-53291-8_5

Realizing $$\omega $$-regular Hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 40-63
DOI: 10.1007/978-3-030-53291-8_4

Verified Rust Monitors for Lola Specifications

Author(s): Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 431-450
DOI: 10.1007/978-3-030-60508-7_24

Model Checking Algorithms for Hyperproperties (Invited Paper)

Author(s): Bernd Finkbeiner
Published in: Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings, Issue 12597, 2021, Page(s) 3-16
DOI: 10.1007/978-3-030-67067-2_1

Causality-Based Game Solving

Author(s): Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Published in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 894-917
DOI: 10.1007/978-3-030-81685-8_42

Specification Decomposition for Reactive Synthesis

Author(s): Bernd Finkbeiner, Gideon Geier, Noemi Passing
Published in: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings, Issue 12673, 2021, Page(s) 113-130
DOI: 10.1007/978-3-030-76384-8_8

Translating Asynchronous Games for Distributed Synthesis

Author(s): Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Published in: 30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, the Netherlands, August 27-30, 2019, Proceedings, Issue LIPIcs 140, 2019, Page(s) 26:1-26:16
DOI: 10.4230/lipics.concur.2019.26

A Temporal Logic for Asynchronous Hyperproperties

Author(s): Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
Published in: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Issue 12759, 2021, Page(s) 694-717
DOI: 10.1007/978-3-030-81685-8_33

Explainable Reactive Synthesis

Author(s): Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 413-428
DOI: 10.1007/978-3-030-59152-6_23

Monitoring Cyber-Physical Systems: From Design to Integration

Author(s): Maximilian Schwenger
Published in: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings, Issue 12399, 2020, Page(s) 87-106
DOI: 10.1007/978-3-030-60508-7_5

Reactive Synthesis: Towards Output-Sensitive Algorithms

Author(s): Bernd Finkbeiner, Felix Klein
Published in: NATO Science for Peace and Security Series - D: Information and Communication Security , Issue Volume 50, 2017, Page(s) 25-43
DOI: 10.3233/978-1-61499-810-5-25

$$\text {RVHyper}$$RVHyper: A Runtime Verification Tool for Temporal Hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Tools and Algorithms for the Construction and Analysis of Systems, Issue 10806, 2018, Page(s) 194-200
DOI: 10.1007/978-3-319-89963-3_11

Understanding and Extending Incremental Determinization for 2QBF

Author(s): Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, Issue 10982, 2018, Page(s) 256-274
DOI: 10.1007/978-3-319-96142-2_17

Synthesizing Reactive Systems from Hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 289-306
DOI: 10.1007/978-3-319-96145-3_16

Model Checking Quantitative Hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 144-163
DOI: 10.1007/978-3-319-96145-3_8

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the $$\exists ^*\forall ^*$$∃∗∀∗ Fragment

Author(s): Bernd Finkbeiner, Christopher Hahn, Tobias Hans
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 521-527
DOI: 10.1007/978-3-030-01090-4_31

Bounded Synthesis of Reactive Programs

Author(s): Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
Published in: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Issue 11138, 2018, Page(s) 441-457
DOI: 10.1007/978-3-030-01090-4_26

Constraint-Based Monitoring of Hyperproperties

Author(s): Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III, Issue 11441, 2019, Page(s) 115-131
DOI: 10.1007/978-3-030-17465-1_7

Temporal Stream Logic: Synthesis Beyond the Bools

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 609-629
DOI: 10.1007/978-3-030-25540-4_35

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems

Author(s): Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 421-431
DOI: 10.1007/978-3-030-25540-4_24

Clausal Abstraction for DQBF

Author(s): Leander Tentrup, Markus N. Rabe
Published in: Theory and Applications of Satisfiability Testing – SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings, Issue 11628, 2019, Page(s) 388-405
DOI: 10.1007/978-3-030-24258-9_27

Synthesizing Approximate Implementations for Unrealizable Specifications

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 241-258
DOI: 10.1007/978-3-030-25540-4_13

Verifying Hyperliveness

Author(s): Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Published in: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Issue 11561, 2019, Page(s) 121-139
DOI: 10.1007/978-3-030-25540-4_7

Approximate Automata for Omega-Regular Languages

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 334-349
DOI: 10.1007/978-3-030-31784-3_19

Model Checking Data Flows in Concurrent Network Updates

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 515-533
DOI: 10.1007/978-3-030-31784-3_30

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems

Author(s): Jesko Hecking-Harbusch, Niklas O. Metzger
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 369-386
DOI: 10.1007/978-3-030-31784-3_22

Program Repair for Hyperproperties

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings, Issue 11781, 2019, Page(s) 423-441
DOI: 10.1007/978-3-030-31784-3_25

RTLola on Board: Testing Real Driving Emissions on your Phone

Author(s): Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 365-372
DOI: 10.1007/978-3-030-72013-1_20

Model Checking Branching Properties on Petri Nets with Transits

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 394-410
DOI: 10.1007/978-3-030-59152-6_22

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Author(s): Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
Published in: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Issue 12225, 2020, Page(s) 28-39
DOI: 10.1007/978-3-030-53291-8_3

A Web Interface for Petri Nets with Transits and Petri Games

Author(s): Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II, Issue 12652, 2021, Page(s) 381-388
DOI: 10.1007/978-3-030-72013-1_22

Dependency-Based Compositional Synthesis

Author(s): Bernd Finkbeiner, Noemi Passing
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 447-463
DOI: 10.1007/978-3-030-59152-6_25

Probabilistic Hyperproperties of Markov Decision Processes

Author(s): Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Published in: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Issue 12302, 2020, Page(s) 484-500
DOI: 10.1007/978-3-030-59152-6_27

Conference proceedings (18)

Controller Synthesis for Hyperproperties

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Page(s) 366-379
DOI: 10.1109/csf49147.2020.00033

Vehicle Platooning Simulations with Functional Reactive Programming

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - SCAV'17, 2017, Page(s) 43-47
DOI: 10.1145/3055378.3055385

Is your software on dope? Formal analysis of surreptitiously “enhanced” programs

Author(s): Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns
Published in: 26th European Symposium on Programming (ESOP 2017), Issue LNCS, volume 10201, 2017, Page(s) 83-110
DOI: 10.1007/978-3-662-54434-1_4

Synthesizing Skeletons for Reactive Systems

Author(s): Bernd Finkbeiner, Hazem Torfah
Published in: 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Issue LNCS, volume 9938, 2016, Page(s) 271-286
DOI: 10.1007/978-3-319-46520-3_18

Facets of Software Doping

Author(s): Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
Published in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2017), Issue LNCS, volume 9953, 2016, Page(s) 601-608
DOI: 10.1007/978-3-319-47169-3_46

BoSy: An Experimentation Framework for Bounded Synthesis

Author(s): Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
Published in: 29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 325-332
DOI: 10.1007/978-3-319-63390-9_17

Encodings of Bounded Synthesis

Author(s): Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup
Published in: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) , Issue LNCS, volume 10205, 2017, Page(s) 354-370
DOI: 10.1007/978-3-662-54577-5_20

Stream Runtime Monitoring on UAS

Author(s): Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Published in: 17th International Conference on Runtime Verification (RV 2017), Issue LNCS, volume 10548, 2017, Page(s) 33-49
DOI: 10.1007/978-3-319-67531-2_3

The Density of Linear-time Properties

Author(s): Bernd Finkbeiner, Hazem Torfah
Published in: 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Issue LNCS, volume 10482, 2017, Page(s) 139-155
DOI: 10.1007/978-3-319-68167-2_10

On Expansion and Resolution in CEGAR Based QBF Solving

Author(s): Leander Tentrup
Published in: 29th International Conference on Computer-Aided Verification (CAV 2017), Issue LNCS, volume 10427, 2017, Page(s) 475-494
DOI: 10.1007/978-3-319-63390-9_25

Synthesis in Distributed Environments

Author(s): Bernd Finkbeiner, Paul Gölz
Published in: 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 28:1-28:14
DOI: 10.4230/LIPIcs.FSTTCS.2017.28

Symmetric Synthesis

Author(s): Rüdiger Ehlers, Bernd Finkbeiner
Published in: 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Issue LIPIcs 93, 2017, Page(s) 26:1-26:13
DOI: 10.4230/LIPIcs.FSTTCS.2017.26

Synthesizing functional reactive programs

Author(s): Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Published in: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019, 2019, Page(s) 162-175
DOI: 10.1145/3331545.3342601

The Hierarchy of Hyperlogics

Author(s): Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-13
DOI: 10.1109/lics.2019.8785713

Canonical Representations of k-Safety Hyperproperties

Author(s): Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Published in: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Page(s) 17-1714
DOI: 10.1109/csf.2019.00009

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications

Author(s): Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner
Published in: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 138-146
DOI: 10.23919/fmcad.2019.8894261

The Complexity of Monitoring Hyperproperties

Author(s): Borzoo Bonakdarpour, Bernd Finkbeiner
Published in: 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Page(s) 162-174
DOI: 10.1109/csf.2018.00019

From LTL to rLTL monitoring - improved monitorability through robust semantics

Author(s): Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, Page(s) 1-12
DOI: 10.1145/3365365.3382197

Peer reviewed articles (13)

Distributed PROMPT-LTL Synthesis

Author(s): Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 228-241, ISSN 2075-2180
DOI: 10.4204/EPTCS.226.16

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

Author(s): Leander Tentrup, Alexander Weinert, Martin Zimmermann
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 226, 2016, Page(s) 302-315, ISSN 2075-2180
DOI: 10.4204/EPTCS.226.21

Causality-based Model Checking

Author(s): Bernd Finkbeiner, Andrey Kupriyanov
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 259, 2017, Page(s) 31-38, ISSN 2075-2180
DOI: 10.4204/EPTCS.259.3

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results

Author(s): Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 149-177, ISSN 2075-2180
DOI: 10.4204/EPTCS.229.12

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

Author(s): Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 116-143, ISSN 2075-2180
DOI: 10.4204/EPTCS.260.10

Symbolic vs. Bounded Synthesis for Petri Games

Author(s): Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 23-43, ISSN 2075-2180
DOI: 10.4204/EPTCS.260.5

A High-Level LTL Synthesis Format: TLSF v1.1

Author(s): Swen Jacobs, Felix Klein, Sebastian Schirmer
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 112-132, ISSN 2075-2180
DOI: 10.4204/eptcs.229.10

Distributed synthesis for parameterized temporal logics

Author(s): Swen Jacobs, Leander Tentrup, Martin Zimmermann
Published in: Information and Computation, Issue 262, 2018, Page(s) 311-328, ISSN 0890-5401
DOI: 10.1016/j.ic.2018.09.009

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems

Author(s): Hadas Kress-Gazit, Hazem Torfah
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 286, 2019, Page(s) 50-64, ISSN 2075-2180
DOI: 10.4204/eptcs.286.5

Solving QBF by Abstraction

Author(s): Jesko Hecking-Harbusch, Leander Tentrup
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 277, 2018, Page(s) 88-102, ISSN 2075-2180
DOI: 10.4204/eptcs.277.7

Monitoring hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Published in: Formal Methods in System Design, Issue 54/3, 2019, Page(s) 336-363, ISSN 0925-9856
DOI: 10.1007/s10703-019-00334-z

FPGA Stream-Monitoring of Real-time Properties

Author(s): Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
Published in: ACM Transactions on Embedded Computing Systems, Issue 18/5s, 2019, Page(s) 1-24, ISSN 1539-9087
DOI: 10.1145/3358220

Synthesis from hyperproperties

Author(s): Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Published in: Acta Informatica, Issue 57/1-2, 2020, Page(s) 137-163, ISSN 0001-5903
DOI: 10.1007/s00236-019-00358-2

Non-peer reviewed articles (1)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Author(s): Jacobs, Swen; Bloem, Roderick; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Philipp J.; Michaud, Thibaud; Sakr, Mouhammad; Sickert, Salomon; Tentrup, Leander; Walker, Adam
Published in: arXiv preprint arXiv:1904.07736, 2019, ISSN 2331-8422

Other (1)

Teaching Temporal Logics to Neural Networks

Author(s): Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus N. Rabe, Bernd Finkbeiner
Published in: 2021