D. Neider

发表

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search

Menno van Zaanen, A. Finkel, S. Haddad, 2021, ICGI.

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks

D. Neider, Rajarshi Roy, Benedikt Böing, 2020, ECML/PKDD.

Invariant Synthesis for Sound but Incomplete Verification Engines

D. Park, P. Madhusudan, P. Garg, 2016 .

LiVe 2022 6th Workshop on Learning in Verification Informal proceedings

Earl T. Barr, S. Ratschan, Charles Sutton, 2022 .

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

D. Neider, Martin Zimmermann, S. Nayak, 2022, ArXiv.

Uncertainty-Aware Signal Temporal logic pdf

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, ArXiv.

Specification sketching for Linear Temporal Logic

D. Neider, Rajarshi Roy, Simon Lutz, 2022, ArXiv.

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, ArXiv.

Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash

K. Kersting, Lukas Struppek, D. Neider, 2021, FAccT.

Learning Interpretable Temporal Properties from Positive Examples Only

U. Topcu, D. Neider, Rajarshi Roy, 2022, 2209.02650.

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

D. Neider, Martin Zimmermann, S. Nayak, 2022, ISoLA.

Specification sketching for Linear Temporal Logic

D. Neider, Rajarshi Roy, Simon Lutz, 2022, ATVA.

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

S. Haddad, B. Bollig, M. Leucker, 2022, GandALF.

Risk factors for suicide among patients with schizophrenia: a cohort study focused on cerebrospinal fluid levels of homovanillic acid and 5-hydroxyindoleacetic acid

D. Neider, L. Lindström, R. Bodén, 2016, Neuropsychiatric Disease and Treatment.

Expanding the Horizon of Linear Temporal Logic Inference for Explainability

D. Neider, Rajarshi Roy, 2022, 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW).

Analysis of recurrent neural networks via property-directed verification of surrogate models

A. Finkel, S. Haddad, B. Bollig, 2022, International Journal on Software Tools for Technology Transfer.

ICE: A Robust Framework for Learning Invariants

Christof Löding, Pranav Garg, P. Madhusudan, 2014, CAV.

Diameter and compliance of the greater saphenous vein – effect of age and nitroglycerine

M. Lindenberger, M. Ekman, H. Zachrisson, 2011, Clinical physiology and functional imaging.

Venous compliance and wall distensibility in the venous compartments of the lower limb in man

M. Lindenberger, H. Zachrisson, T. Länne, 2008 .

Learning-Based Synthesis of Safety Controllers

Daniel Neider, Oliver Markgraf, D. Neider, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).

Abstract Learning Frameworks for Synthesis pdf

Christof Löding, P. Madhusudan, Daniel Neider, 2015, TACAS.

MaxSAT-based temporal logic inference from noisy data

U. Topcu, D. Neider, Rajarshi Roy, 2022, Innovations in Systems and Software Engineering.

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach pdf

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, ArXiv.

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach

Ufuk Topcu, Daniel Neider, Rajarshi Roy, 2021, ATVA.

Applications of automata learning in verification and synthesis

Daniel Neider, D. Neider, 2014 .

Advice-Guided Reinforcement Learning in a non-Markovian Environment

Ufuk Topcu, Bo Wu, Zhe Xu, 2021, AAAI.

Small Strategies for Safety Games

Daniel Neider, D. Neider, 2011, ATVA.

Learning invariants using decision trees and implication counterexamples

Dan Roth, Pranav Garg, P. Madhusudan, 2016, POPL.

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Zhe Xu, Bo Wu, U. Topcu, 2019, ICAPS.

libalf: The Automata Learning Framework

Benedikt Bollig, Joost-Pieter Katoen, Martin Leucker, 2010, CAV.

Reinforcement Learning with Stochastic Reward Machines

D. Neider, I. Gavran, Jan Corazza, 2022, AAAI.

From LTL to rLTL monitoring: improved monitorability through robust semantics

Paulo Tabuada, Corto Mascle, Daniel Neider, 2018, Formal Methods in System Design.

Benchmarks for Automata Learning and Conformance Testing

Frits W. Vaandrager, Harco Kuppens, Daniel Neider, 2018, Models, Mindsets, Meta.

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic pdf

Paulo Tabuada, Matthew Philippe, Daniel Neider, 2021, ACM Trans. Comput. Log..

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Christof Löding, Pranav Garg, P. Madhusudan, 2015, Formal Methods Syst. Des..

Neuro-Symbolic Verification of Deep Neural Networks

D. Neider, K. Kersting, X. Xie, 2022, IJCAI.

Synthesizing optimally resilient controllers

Martin Zimmermann, Daniel Neider, Alexander Weinert, 2017, Acta Informatica.

Synthesis of safety controllers robust to unmodeled intermittent disturbances

Paulo Tabuada, Eric Dallal, Daniel Neider, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

Learning Interpretable Models in the Property Specification Language pdf

Dana Fisman, Daniel Neider, Rajarshi Roy, 2020, IJCAI.

A blinded validation of the Swedish version of the Clinical Assessment Interview for Negative Symptoms (CAINS)

D. Neider, Martin Cernvall, R. Bodén, 2021, Nordic journal of psychiatry.

A Survey of Model Learning Techniques for Recurrent Neural Networks

B. Bollig, M. Leucker, D. Neider, 2022, A Journey from Process Algebra via Timed Automata to Model Learning.

Deep Anomaly Detection on Tennessee Eastman Process Data

Maja R. Rudolph, Billy Joe Franks, S. Mandt, 2023, Chemie Ingenieur Technik.

Parameterized Synthesis with Safety Properties

Muhammad Najib, Daniel Neider, Chih-Duo Hong, 2020, APLAS.

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free pdf

Martin Zimmermann, Daniel Neider, Alexander Weinert, 2018, GandALF.

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

Zhe Xu, Bo Wu, U. Topcu, 2020, CD-MAKE.

Logic and Learning (Dagstuhl Seminar 19361)

Kristian Kersting, Michael Benedikt, Phokion G. Kolaitis, 2019, Dagstuhl Reports.

ICE: A Robust Learning Framework for Synthesizing Invariants

Christof Löding, Pranav Garg, P. Madhusudan, 2013 .

Learning Universally Quantified Invariants of Linear Data Structures pdf

Christof Löding, Pranav Garg, P. Madhusudan, 2013, CAV.

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, NASA Formal Methods.

Robust Alternating-Time Temporal Logic

D. Neider, A. Murano, Martin Zimmermann, 2023, JELIA.

Evrostos: the rLTL verifier

Paulo Tabuada, Daniel Neider, Tzanis Anevlavis, 2019, HSCC.

Verifying rLTL formulas: now faster than ever before!

Paulo Tabuada, Matthew Philippe, Daniel Neider, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Robust Linear Temporal Logic pdf

Paulo Tabuada, Daniel Neider, P. Tabuada, 2015, CSL.

Disentangling Direct and Indirect Interactions in Polytomous Item Response Theory Models

D. Fisman, D. Neider, Rajarshi Roy, 2020 .

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

P. Madhusudan, Daniel Neider, Pranav Garg, 2020, Journal of Automated Reasoning.

Invariant Synthesis for Incomplete Verification Engines

Pranav Garg, P. Madhusudan, Daejun Park, 2017, TACAS.

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

U. Topcu, D. Neider, Rajarshi Roy, 2023, CD-MAKE.

Learning Interpretable Temporal Properties from Positive Examples Only

U. Topcu, D. Neider, Rajarshi Roy, 2022, AAAI.

Uncertainty-Aware Signal Temporal logic

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, VSTTE.

Resilient Abstraction-Based Controller Design

Daniel Neider, Kaushik Mallik, Anne-Kathrin Schmuck, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

P. Madhusudan, Daniel Neider, Shambwaditya Saha, 2018, ACM Trans. Comput. Log..

Synthesizing Piece-Wise Functions by Learning Classifiers

P. Madhusudan, Daniel Neider, Shambwaditya Saha, 2016, TACAS.

Optimally Resilient Strategies in Pushdown Safety Games

Martin Zimmermann, Patrick Totzke, Daniel Neider, 2019, MFCS.

Learning-Based Synthesis of Safety Controllers

D. Neider, Oliver Markgraf, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).

Learning Properties in LTL ∩ ACTL from Positive Examples Only

Rüdiger Ehlers, Daniel Neider, Ivan Gavran, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).

Interpretable Anomaly Detection via Discrete Optimization

Falk Howar, Emmanuel Müller, D. Neider, 2023, ArXiv.

A Formal Language Approach to Explaining RNNs pdf

Daniel Neider, Bishwamittra Ghosh, D. Neider, 2020, ArXiv.

Horn-ICE learning for synthesizing invariants and contracts

P. Garg, D. Neider, D. D'Souza, 2017, Proc. ACM Program. Lang..

Robust Computation Tree Logic

D. Neider, Rajarshi Roy, Martin Zimmermann, 2022, NFM.