Launch week offerEnds in00h00m00s

annual Promonthly Pro

Daniel Neider

Has grant

Technische Universität Dortmund

Germany

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Germany Professors in Artificial Intelligence Artificial Intelligence professors in Germany

Recent Grants

Grant: Close

Verification of Anomaly Detectors

Open Date: 2022-01-01

Close Date:

Grant: Close

Temporal Logic Sketching: A Computer-aided Approach to Writing Formal Specifications

Open Date: 2020-01-01

Close Date:

Articles (14)

Year:

2027

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Collaborators (5)

Alexander Marx

Professor

Technische Universität Dortmund

GERMANY

View details

Falk Howar

Technische Universität Dortmund

GERMANY

View details

Till Schallau

Technische Universität Dortmund

GERMANY

View details

Sven Franke

Technische Universität Dortmund

GERMANY

View details

Martin Zimmermann

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Daniel Neider

Research Interests

Make your next move.

Explore related searches

Recent Grants

Articles (14)

Verification of LTL Properties on Neural Networks for Chemical Process Monitoring

A Cautionary Tale About “Neutrally” Informative AI Tools Ahead of the 2025 Federal Elections in Germany

A Framework for Computing Upper Bounds in Passive Learning Settings

Learning Computation Tree Logic with Neural Networks

Test Coverage of Automated Robotic Systems in Open World Environments

Learning Tree Pattern Transformations

Robust computation tree logic

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise

Answering temporal conjunctive queries over description logic ontologies for situation recognition in complex operational domains

Scarlet: scalable anytime algorithms for learning fragments of linear temporal logic

Track C1: safety verification of deep neural networks (DNNs)

Deep Anomaly Detection on Tennessee Eastman Process Data

Robust Alternating-Time Temporal Logic

Synthesizing efficiently monitorable formulas in metric temporal logic

Collaborators (5)

Alexander Marx

Falk Howar

Till Schallau

Sven Franke

Martin Zimmermann

Make your next move.