From

Institution

Field

Type

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

Reset

Papers matching “reachability analysis” 41

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 Adversarial Robustness in Machine Learning 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
Compositional model analysis
2020 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access

Jeff Gray, Bernhard Rumpe⋆

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
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
2025 Logical Methods in Computer Science article Computer Science semigroups and automata theory Open access

Franz Baader, Jürgen Giesl

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
Stiffness Modeling and Analysis of a Parallel Manipulator With Multi-Motion Modes
2026 Journal of Mechanisms and Robotics article Engineering Robotic Mechanisms and Dynamics

Yanqin Zhao, Xin Liu, Kangwu Zhuang, Mingkun Wu

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
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Scaled Experiment Platform to Study Interactions Between Humans and CAVs
2023 IEEE Intelligent Vehicles Symposium conference-paper Engineering Traffic control and management

Patrick Scheffe, Bassam Alrifaee

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
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
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
Limiting Computation Levels in Prioritized Trajectory Planning with Safety Guarantees
2024 European Control Conference (ECC) conference-paper Computer Science Robotic Path Planning Algorithms Open access

Patrick Scheffe, Jianye Xu, Bassam Alrifaee

2

citations
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

1

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