From

Institution

Field

Type

Topic: Formal Methods in Verification ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “reachability analysis” in Formal Methods in Verification 25

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
2025 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification

Jonas Stübbe, Anne Remke, Erika Ábrahám

0

citations
Reachability analysis of Hybrid Rebeca models
2025 Journal of Systems Architecture article Computer Science Formal Methods in Verification Open access

Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, +2 more

1

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

László Antal

0

citations
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Joanna Delicaris, Erika Ábrahám, Anne Remke

0

citations
Correction to: Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science erratum Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Carolina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Correction to: Efficient Probabilistic Model Checking for Relational Reachability
2025 RWTH Publications (RWTH Aachen) erratum Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Pranav Ashok, Krishnendu Chatterjee, Jan Křetínský, Maximilian Weininger, Tobias Winkler

14

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification Open access

10

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Erich Grädel, Niels Lücking, Matthias Naaf

4

citations
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Erich Grädel, Niels Lücking, Matthias Naaf

1

citations
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
2024 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Erich Grädel, Niels Lücking, Matthias Naaf

0

citations
Hybrid Rebeca Revisited
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, Erika Ábrahám, +1 more

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Robot Swarms as Hybrid Systems: Modelling and Verification
2022 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella

3

citations
Synthesizing and optimizing FDIR recovery strategies from fault trees
2020 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll

4

citations
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, +6 more

7

citations
Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

László Antal, Erika Ábrahám

0

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

1

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations

25 results