Daniel Neider

Available identifiers

zbMath Open neider.danielMaRDI QIDQ477196

List of research outcomes

Publication	Date of Publication	Type
Analyzing robustness of Angluin's \(L^*\) algorithm in presence of noise	2024-06-27	Paper
Robust alternating-time temporal logic	2024-05-29	Paper
\textsc{Sorcar}: property-driven algorithms for learning conjunctive invariants	2024-04-19	Paper
Adaptive strategies for rLTL games	2024-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q6191009	2024-02-08	Paper
Scalable anytime algorithms for learning fragments of linear temporal logic	2024-01-23	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
Property-directed verification and robustness certification of recurrent neural networks	2022-06-22	Paper
Learning linear temporal properties from noisy data: a MaxSAT-based approach	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

This page was built for person: Daniel Neider