Daniel Neider

Available identifiers

zbMath Open neider.danielMaRDI QIDQ477196

List of research outcomes

Publication	Date of Publication	Type
Adaptive strategies for rLTL games	2024-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q6191009	2024-02-08	Paper
Benchmarks for automata learning and conformance testing	2023-08-02	Paper
A survey of model learning techniques for recurrent neural networks	2023-07-26	Paper
From LTL to rLTL monitoring: improved monitorability through robust semantics	2023-06-29	Paper
Optimally Resilient Strategies in Pushdown Safety Games	2022-07-18	Paper
Learning linear temporal properties from noisy data: a MaxSAT-based approach	2022-06-22	Paper
Property-directed verification and robustness certification of recurrent neural networks	2022-06-22	Paper
Robust, expressive, and quantitative linear temporal logics: pick any two for free	2022-06-08	Paper
Synthesizing Optimally Resilient Controllers	2022-05-28	Paper
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic	2022-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5020519	2022-01-06	Paper
Parameterized synthesis with safety properties	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4986513	2021-04-27	Paper
From LTL to rLTL monitoring	2021-01-25	Paper
Resilient abstraction-based controller design	2021-01-25	Paper
A learning-based approach to synthesizing invariants for incomplete verification engines	2020-11-02	Paper
Synthesizing optimally resilient controllers	2020-03-06	Paper
Evrostos	2019-10-22	Paper
An automaton learning approach to solving safety games over infinite graphs	2019-09-17	Paper
Invariant synthesis for incomplete verification engines	2019-09-16	Paper
Compositional Synthesis of Piece-Wise Functions by Learning Classifiers	2018-08-10	Paper
Robust Linear Temporal Logic	2017-07-19	Paper
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists	2015-10-20	Paper
Down the Borel hierarchy: solving Muller games via safety games	2014-12-02	Paper
Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers	2012-11-21	Paper
Small Strategies for Safety Games	2011-10-07	Paper
Reachability Games on Automatic Graphs	2011-02-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel Neider