


Остановите войну!
for scientists:


default search action
Bernd Finkbeiner
Person information

- affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
- affiliation: Saarland University, Saarbrücken, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j26]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2): 205-218 (2023) - [c140]Tzu-Han Hsu
, Borzoo Bonakdarpour
, Bernd Finkbeiner
, César Sánchez
:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46 - [c139]Raven Beutner
, Bernd Finkbeiner
:
AutoHyper: Explicit-State Model Checking for HyperLTL. TACAS (1) 2023: 145-163 - [i85]Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023) - [i84]Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR abs/2301.11229 (2023) - [i83]Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. CoRR abs/2303.01158 (2023) - [i82]Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse:
Automata-Based Software Model Checking of Hyperproperties. CoRR abs/2303.14796 (2023) - 2022
- [j25]Bernd Finkbeiner
, Martin Fränzle
, Florian Kohn
, Paul Kröger:
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15(4): 126 (2022) - [j24]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live synthesis. Innov. Syst. Softw. Eng. 18(3): 443-454 (2022) - [j23]Bernd Finkbeiner
, Noemi Passing
:
Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. 18(3): 455-469 (2022) - [j22]Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez
, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28(1): 357-367 (2022) - [c138]Norine Coenen
, Bernd Finkbeiner
, Hadar Frenkel
, Christopher Hahn
, Niklas Metzger
, Julian Siber
:
Temporal Causality in Reactive Systems. ATVA 2022: 208-224 - [c137]Raven Beutner
, Bernd Finkbeiner
:
Software Verification of Hyperproperties Beyond k-Safety. CAV (1) 2022: 341-362 - [c136]Norine Coenen
, Raimund Dachselt
, Bernd Finkbeiner
, Hadar Frenkel
, Christopher Hahn
, Tom Horak
, Niklas Metzger
, Julian Siber
:
Explaining Hyperproperty Violations. CAV (1) 2022: 407-429 - [c135]Bernd Finkbeiner
, Niklas Metzger
, Yoram Moses
:
Information Flow Guided Synthesis. CAV (2) 2022: 505-525 - [c134]Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CSF 2022: 471-485 - [c133]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL 2022: 20:1-20:19 - [c132]Bernd Finkbeiner
, Philippe Heim
, Noemi Passing
:
Temporal Stream Logic modulo Theories. FoSSaCS 2022: 325-346 - [c131]Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness. FSTTCS 2022: 37:1-37:19 - [c130]Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski
, Anne-Kathrin Schmuck:
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC 2022: 24:1-24:11 - [c129]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. LICS 2022: 56:1-56:13 - [c128]Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
:
Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243 - [c127]Jan Baumeister
, Bernd Finkbeiner
, Stefan Gumhold, Malte Schledjewski
:
Real-Time Visualization of Stream-Based Monitoring Data. RV 2022: 325-335 - [e17]Bernd Finkbeiner
, Thomas Wies
:
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Lecture Notes in Computer Science 13182, Springer 2022, ISBN 978-3-030-94582-4 [contents] - [i81]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. CoRR abs/2203.04146 (2022) - [i80]Raven Beutner, Bernd Finkbeiner:
A Logic for Hyperproperties in Multi-Agent Systems. CoRR abs/2203.07283 (2022) - [i79]Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. CoRR abs/2205.06039 (2022) - [i78]Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis (Full Version). CoRR abs/2205.12085 (2022) - [i77]Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski:
Real-time Visualization of Stream-based Monitoring Data. CoRR abs/2205.12823 (2022) - [i76]Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. CoRR abs/2205.15138 (2022) - [i75]Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner:
Attention Flows for General Transformers. CoRR abs/2205.15389 (2022) - [i74]Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) - [i73]Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CoRR abs/2206.01797 (2022) - [i72]Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner:
Formal Specifications from Natural Language. CoRR abs/2206.01962 (2022) - [i71]Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CoRR abs/2206.02074 (2022) - [i70]Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. CoRR abs/2206.03381 (2022) - [i69]Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
Smart Contract Synthesis Modulo Hyperproperties. CoRR abs/2208.07180 (2022) - [i68]Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness (Full Version). CoRR abs/2210.01660 (2022) - 2021
- [j21]Bernd Finkbeiner, Leonardo Mariani:
Introduction to the special issue of the 19th International Conference on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 23(4): 545-546 (2021) - [c126]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. ATVA 2021: 153-169 - [c125]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. ATVA 2021: 283-299 - [c124]Bernd Finkbeiner
, Noemi Passing
:
Compositional Synthesis of Modular Systems. ATVA 2021: 303-319 - [c123]Jan Baumeister
, Norine Coenen
, Borzoo Bonakdarpour
, Bernd Finkbeiner
, César Sánchez
:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c122]Christel Baier
, Norine Coenen
, Bernd Finkbeiner
, Florian Funke
, Simon Jantsch
, Julian Siber
:
Causality-Based Game Solving. CAV (1) 2021: 894-917 - [c121]Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CONCUR 2021: 24:1-24:19 - [c120]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen
, Fan Yang
:
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS 2021: 52:1-52:17 - [c119]Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner:
Teaching Temporal Logics to Neural Networks. ICLR 2021 - [c118]Bernd Finkbeiner, Gideon Geier, Noemi Passing
:
Specification Decomposition for Reactive Synthesis. NFM 2021: 113-130 - [c117]Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. NeurIPS 2021: 15408-15420 - [c116]Johann C. Dauer
, Bernd Finkbeiner
, Sebastian Schirmer
:
Monitoring with Verified Guarantees. RV 2021: 62-80 - [c115]Sebastian Biewer
, Bernd Finkbeiner
, Holger Hermanns
, Maximilian A. Köhl
, Yannik Schnitzer
, Maximilian Schwenger
:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372 - [c114]Bernd Finkbeiner
:
Model Checking Algorithms for Hyperproperties (Invited Paper). VMCAI 2021: 3-16 - [i67]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR abs/2101.07109 (2021) - [i66]Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing Omega-regular Hyperproperties. CoRR abs/2101.07161 (2021) - [i65]Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR abs/2101.07232 (2021) - [i64]Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021) - [i63]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021) - [i62]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021) - [i61]Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification Decomposition for Reactive Synthesis (Full Version). CoRR abs/2103.08459 (2021) - [i60]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i59]Bernd Finkbeiner, Philippe Heim, Noemi Passing:
Temporal Stream Logic modulo Theories. CoRR abs/2104.14988 (2021) - [i58]Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021) - [i57]Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems (Full Version). CoRR abs/2106.14783 (2021) - [i56]Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. CoRR abs/2107.01136 (2021) - [i55]Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CoRR abs/2107.02509 (2021) - [i54]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR abs/2107.09280 (2021) - [i53]Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties. CoRR abs/2107.11841 (2021) - [i52]Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. CoRR abs/2107.11864 (2021) - [i51]Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR abs/2108.03698 (2021) - [i50]Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. CoRR abs/2110.11755 (2021) - [i49]Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021) - 2020
- [j20]Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
:
Synthesis from hyperproperties. Acta Informatica 57(1-2): 137-163 (2020) - [j19]Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22(6): 729-740 (2020) - [c113]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410 - [c112]Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
:
Explainable Reactive Synthesis. ATVA 2020: 413-428 - [c111]Bernd Finkbeiner
, Noemi Passing
:
Dependency-Based Compositional Synthesis. ATVA 2020: 447-463 - [c110]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500 - [c109]Jan Baumeister
, Bernd Finkbeiner
, Sebastian Schirmer, Maximilian Schwenger
, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) 2020: 28-39 - [c108]Bernd Finkbeiner
, Christopher Hahn
, Jana Hofmann
, Leander Tentrup
:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63 - [c107]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) 2020: 64-76 - [c106]Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379 - [c105]Bernd Finkbeiner
, Stefan Oswald, Noemi Passing
, Maximilian Schwenger
:
Verified Rust Monitors for Lola Specifications. RV 2020: 431-450 - [c104]Jan Baumeister
, Bernd Finkbeiner
, Matthis Kruse
, Maximilian Schwenger
:
Automatic Optimizations for Stream-Based Monitoring Languages. RV 2020: 451-461 - [c103]Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. VMCAI 2020: 426-448 - [e16]Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents] - [i48]Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt:
Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020) - [i47]Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020) - [i46]Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR abs/2004.06488 (2020) - [i45]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020) - [i44]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. CoRR abs/2005.05934 (2020) - [i43]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR abs/2005.07130 (2020) - [i42]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020) - [i41]Bernd Finkbeiner, Noemi Passing:
Dependency-based Compositional Synthesis (Full Version). CoRR abs/2007.06941 (2020) - [i40]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR abs/2007.07235 (2020) - [i39]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR abs/2010.03311 (2020) - [i38]Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-based Monitoring Languages. CoRR abs/2011.13344 (2020) - [i37]Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. CoRR abs/2012.08961 (2020) - [i36]Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020) - [i35]Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020) - [i34]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020) - [i33]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)
2010 – 2019
- 2019
- [j18]Bernd Finkbeiner, Christopher Hahn
, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019) - [j17]Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah
:
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18(5s): 88:1-88:24 (2019) - [c102]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349 - [c101]Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441 - [c100]Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533 - [c99]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139 - [c98]Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
:
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258 - [c97]Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
:
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) 2019: 421-431 - [c96]Bernd Finkbeiner, Felix Klein, Ruzica Piskac
, Mark Santolucito
:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629 - [c95]Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis. CONCUR 2019: 26:1-26:16 - [c94]Bernd Finkbeiner, Lennart Haas, Hazem Torfah
:
Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31 - [c93]Gideon Geier, Philippe Heim
, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD 2019: 138-146 - [c92]Bernd Finkbeiner, Felix Klein, Ruzica Piskac
, Mark Santolucito
:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175 - [c91]Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13 - [e15]Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 [contents] - [e14]Bernd Finkbeiner, Samantha Kleinberg:
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS 286, 2019 [contents] - [i32]Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃*∀* Fragment. CoRR abs/1903.11138 (2019) - [i31]Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr
, Salomon Sickert, Leander Tentrup, Adam Walker:
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs/1904.07736 (2019) - [i30]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019) - [i29]Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CoRR abs/1905.13511 (2019) - [i28]