Concepedia

Leonore Winterer

LW

4

Publications

115

Citations

4

H-Index

2015

Active since

Affiliations

Radboud University Nijmegen(Current)

University of Freiburg

RWTH Aachen University

The University of Texas at Austin

Leonore Winterer is an author at Radboud University Nijmegen specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringArtificial IntelligencePlanningRobotics

Publications per year

2015–2020

4

Publications

4

Towards Verification of Artificial Neural Networks.

Karsten Scheibler, Leonore Winterer, Ralf Wimmer et al. · MBMV · 2015 · 47 citations

Engineering, Artificial Neural Networks, Automated Reasoning +6

Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer et al. · RWTH Publications (RWTH Aachen) · 2018 · 45 citations

Artificial Intelligence, Engineering, Intelligent Systems +19

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

Leonore Winterer, Sebastian Junges, Ralf Wimmer et al. · IEEE Transactions on Automatic Control · 2020 · 13 citations · Full text

Artificial Intelligence, Engineering, Game Theory +22

Motion planning under partial observability using game-based abstraction

Leonore Winterer, Sebastian Junges, Ralf Wimmer et al. · 2017 · 10 citations · Full text

Artificial Intelligence, Engineering, Verification +24

Rows per page

1–4 of 4