S. P. Nayak, D. Neider, R. Roy, and M. Zimmermann, "Robust Computation Tree Logic" CoRR, vol. abs/2201.07116.

X. Xie, K. Kersting, and D. Neider, "Neuro-Symbolic Verification of Deep Neural Networks" CoRR, vol. abs/2203.00938.
doi: 10.48550/arXiv.2203.00938

T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada, "Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic" ACM Trans. Comput. Log. vol. 23, iss. 2.
doi: 10.1145/3491216

R. Raha, R. Roy, N. Fijalkow, and D. Neider, "Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, 2022.
doi: 10.1007/978-3-030-99524-9_14

D. Neider, J. -, I. Gavran, U. Topcu, B. Wu, and Z. Xu, "Advice-Guided Reinforcement Learning in a non-Markovian Environment" in Proc. Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021.

T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada, "Being correct is not enough: efficient verification using robust linear temporal logic" CoRR, vol. abs/2102.11991.

J. -, D. Neider, R. Roy, U. Topcu, and Z. Xu, "Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach" CoRR, vol. abs/2104.15083.

N. Baharisangari, J. -, D. Neider, U. Topcu, and Z. Xu, "Uncertainty-Aware Signal Temporal logic" CoRR, vol. abs/2105.11545.

R. Raha, R. Roy, N. Fijalkow, and D. Neider, "Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic" CoRR, vol. abs/2110.06726.

L. Struppek, D. Hintersdorf, D. Neider, and K. Kersting, "Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash" CoRR, vol. abs/2111.06628.

S. P. Nayak, D. Neider, and M. Zimmermann, "Adaptive strategies for rLTL games" in Proc. HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021, 2021.
doi: 10.1145/3447928.3457210

B. Böing, R. Roy, D. Neider, and E. Müller, "QUGA - Quality Guarantees for Autoencoders" in Proc. Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021, 2021.

B. i, B. Bollig, A. Finkel, S. Haddad, I. Khmelnitsky, M. Leucker, D. Neider, R. Roy, and L. Ye, "Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search" in Proc. Proceedings of the 15th International Conference on Grammatical Inference, 23-27 August 2021, Virtual Event, 2021.

J. -, D. Neider, R. Roy, U. Topcu, and Z. Xu, "Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach" in Proc. Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-88885-5_6

I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. i, B. Bollig, A. Finkel, S. Haddad, M. Leucker, and L. Ye, "Property-Directed Verification and Robustness Certification of Recurrent Neural Networks" in Proc. Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-88885-5_24

Z. Xu, B. Wu, A. Ojha, D. Neider, and U. Topcu, "Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples" in Proc. Machine Learning and Knowledge Extraction - 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-84060-0_8

N. Baharisangari, J. -, D. Neider, U. Topcu, and Z. Xu, "Uncertainty-Aware Signal Temporal Logic Inference" in Proc. Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers, 2021.
doi: 10.1007/978-3-030-95561-8_5

R. Roy, D. Fisman, and D. Neider, "Learning Interpretable Models in the Property Specification Language" CoRR, vol. abs/2002.03668.

B. Ghosh and D. Neider, "A Formal Language Approach to Explaining RNNs" CoRR, vol. abs/2006.07292.

Z. Xu, B. Wu, D. Neider, and U. Topcu, "Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples" CoRR, vol. abs/2006.15714.

S. Samuel, K. Mallik, A. -, and D. Neider, "Resilient Abstraction-Based Controller Design" CoRR, vol. abs/2008.06315.

D. Neider and B. Ghosh, "Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis" CoRR, vol. abs/2009.08770.

I. Khmelnitsky, D. Neider, R. Roy, B. i, B. Bollig, A. Finkel, S. Haddad, M. Leucker, and L. Ye, "Property-Directed Verification of Recurrent Neural Networks" CoRR, vol. abs/2009.10610.

O. Markgraf, C. -, A. W. Lin, M. Najib, and D. Neider, "Parameterized Synthesis with Safety Properties" CoRR, vol. abs/2009.13459.

Z. Xu, I. Gavran, Y. Ahmad, R. Majumdar, D. Neider, U. Topcu, and B. Wu, "Joint Inference of Reward Machines and Policies for Reinforcement Learning" in Proc. Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020, 2020.

S. Samuel, K. Mallik, A. -, and D. Neider, "Resilient Abstraction-Based Controller Design" in Proc. 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020, 2020.
doi: 10.1109/CDC42340.2020.9303932

R. Ehlers, I. Gavran, and D. Neider, "Learning Properties in LTL \(\cap\) ACTL from Positive Examples Only" in Proc. 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, 2020.
doi: 10.34727/2020/isbn.978-3-85448-042-6_17

D. Neider, A. Weinert, and M. Zimmermann, "Synthesizing optimally resilient controllers" Acta Informatica, vol. 57, iss. 1-2.
doi: 10.1007/s00236-019-00345-7

D. Neider, P. Madhusudan, S. Saha, P. Garg, and D. Park, "A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines" J. Autom. Reason. vol. 64, iss. 7.
doi: 10.1007/s10817-020-09570-z

C. Mascle, D. Neider, M. Schwenger, P. Tabuada, A. Weinert, and M. Zimmermann, "From LTL to rLTL monitoring: improved monitorability through robust semantics" in Proc. HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, 2020.
doi: 10.1145/3365365.3382197

S. Samuel, K. Mallik, A. -, and D. Neider, "Resilient abstraction-based controller design" in Proc. HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, 2020.
doi: 10.1145/3365365.3383467

R. Roy, D. Fisman, and D. Neider, "Learning Interpretable Models in the Property Specification Language" in Proc. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 2020.
doi: 10.24963/ijcai.2020/306

O. Markgraf, C. -, A. W. Lin, M. Najib, and D. Neider, "Parameterized Synthesis with Safety Properties" in Proc. Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, 2020.
doi: 10.1007/978-3-030-64437-6_14

D. Neider, P. Totzke, and M. Zimmermann, "Optimally Resilient Strategies in Pushdown Safety Games" in Proc. 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic, 2020.
doi: 10.4230/LIPIcs.MFCS.2020.74

B. Böing, R. Roy, E. Müller, and D. Neider, "Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks" in Proc. Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part II, 2020.
doi: 10.1007/978-3-030-67661-2_13

D. Neider and O. Markgraf, "Learning-Based Synthesis of Safety Controllers" CoRR, vol. abs/1901.06801.

Z. Xu, I. Gavran, Y. Ahmad, R. Majumdar, D. Neider, U. Topcu, and B. Wu, "Joint Inference of Reward Machines and Policies for Reinforcement Learning" CoRR, vol. abs/1909.05912.

D. Neider, P. Totzke, and M. Zimmermann, "Optimally Resilient Strategies in Pushdown Safety Games" CoRR, vol. abs/1912.04771.

M. Benedikt, K. Kersting, P. G. Kolaitis, and D. Neider, "Logic and Learning (Dagstuhl Seminar 19361)" Dagstuhl Reports, vol. 9, iss. 9.
doi: 10.4230/DagRep.9.9.1

D. Neider and O. Markgraf, "Learning-Based Synthesis of Safety Controllers" in Proc. 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, 2019.
doi: 10.23919/FMCAD.2019.8894254

T. Anevlavis, D. Neider, M. Phillipe, and P. Tabuada, "Evrostos: the rLTL verifier" in Proc. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019, 2019.
doi: 10.1145/3302504.3311812

D. Neider, A. Weinert, and M. Zimmermann, "Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free" in Proc. Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019, 2019.
doi: 10.4204/EPTCS.305.1

D. Neider, S. Saha, P. Garg, and P. Madhusudan, "Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants" in Proc. Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 2019.
doi: 10.1007/978-3-030-32304-2_16

D. Neider and I. Gavran, "Learning Linear Temporal Properties" CoRR, vol. abs/1806.03953.

C. Mascle, D. Neider, M. Schwenger, P. Tabuada, A. Weinert, and M. Zimmermann, "From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics" CoRR, vol. abs/1807.08203.

D. Neider, A. Weinert, and M. Zimmermann, "Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free" CoRR, vol. abs/1808.09028.

T. Anevlavis, M. Philippe, D. Neider, and P. Tabuada, "Verifying rLTL formulas: now faster than ever before!" in Proc. 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, 2018.
doi: 10.1109/CDC.2018.8619014

P. Ezudheen, D. Neider, D. D'Souza, P. Garg, and P. Madhusudan, "Horn-ICE learning for synthesizing invariants and contracts" Proc. ACM Program. Lang. vol. 2, iss. OOPSLA.
doi: 10.1145/3276501

D. Neider, S. Saha, and P. Madhusudan, "Compositional Synthesis of Piece-Wise Functions by Learning Classifiers" ACM Trans. Comput. Log. vol. 19, iss. 2.
doi: 10.1145/3173545

D. Neider and I. Gavran, "Learning Linear Temporal Properties" in Proc. 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, 2018.
doi: 10.23919/FMCAD.2018.8603016

D. Neider, R. Smetsers, F. W. Vaandrager, and H. Kuppens, "Benchmarks for Automata Learning and Conformance Testing" in Proc. Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, 2018.
doi: 10.1007/978-3-030-22348-9_23

D. Neider, A. Weinert, and M. Zimmermann, "Synthesizing Optimally Resilient Controllers" in Proc. 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, 2018.
doi: 10.4230/LIPIcs.CSL.2018.34

D. Neider, P. Garg, P. Madhusudan, S. Saha, and D. Park, "Invariant Synthesis for Incomplete Verification Engines" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, 2018.
doi: 10.1007/978-3-319-89960-2_13

D. Neider, A. Weinert, and M. Zimmermann, "Synthesizing Optimally Resilient Controllers" CoRR, vol. abs/1709.04854.

D. Neider, P. Garg, P. Madhusudan, S. Saha, and D. Park, "Invariant Synthesis for Incomplete Verification Engines" CoRR, vol. abs/1712.05581.

D. D'Souza, P. Ezudheen, P. Garg, P. Madhusudan, and D. Neider, "Horn-ICE Learning for Synthesizing Invariants and Contracts" CoRR, vol. abs/1712.09418.

D. Neider and U. Topcu, "An Automaton Learning Approach to Solving Safety Games over Infinite Graphs" CoRR, vol. abs/1601.01660.

E. Dallal, D. Neider, and P. Tabuada, "Synthesis of safety controllers robust to unmodeled intermittent disturbances" in Proc. 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016, 2016.
doi: 10.1109/CDC.2016.7799416

P. Garg, D. Neider, P. Madhusudan, and D. Roth, "Learning invariants using decision trees and implication counterexamples" in Proc. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 2016.
doi: 10.1145/2837614.2837664

P. Tabuada and D. Neider, "Robust Linear Temporal Logic" in Proc. 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, 2016.
doi: 10.4230/LIPIcs.CSL.2016.10

C. Löding, P. Madhusudan, and D. Neider, "Abstract Learning Frameworks for Synthesis" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 2016.
doi: 10.1007/978-3-662-49674-9_10

D. Neider, S. Saha, and P. Madhusudan, "Synthesizing Piece-Wise Functions by Learning Classifiers" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 2016.
doi: 10.1007/978-3-662-49674-9_11

D. Neider and U. Topcu, "An Automaton Learning Approach to Solving Safety Games over Infinite Graphs" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 2016.
doi: 10.1007/978-3-662-49674-9_12

C. Löding, P. Madhusudan, and D. Neider, "Abstract Learning Frameworks for Synthesis" CoRR, vol. abs/1507.05612.

P. Tabuada and D. Neider, "Robust Linear Temporal Logic" CoRR, vol. abs/1510.08970.

P. Garg, C. Löding, P. Madhusudan, and D. Neider, "Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists" Formal Methods Syst. Des. vol. 47, iss. 1.
doi: 10.1007/s10703-015-0231-6

D. Neider, "Applications of automata learning in verification and synthesis" PhD Thesis , 2014.

D. Neider, R. Rabinovich, and M. Zimmermann, "Down the Borel hierarchy: Solving Muller games via safety games" Theor. Comput. Sci. vol. 560.
doi: 10.1016/j.tcs.2014.01.017

P. Garg, C. Löding, P. Madhusudan, and D. Neider, "ICE: A Robust Framework for Learning Invariants" in Proc. Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, 2014.
doi: 10.1007/978-3-319-08867-9_5

P. Garg, C. Löding, P. Madhusudan, and D. Neider, "Learning Universally Quantified Invariants of Linear Data Structures" CoRR, vol. abs/1302.2273.

P. Garg, C. Löding, P. Madhusudan, and D. Neider, "Learning Universally Quantified Invariants of Linear Data Structures" in Proc. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013.
doi: 10.1007/978-3-642-39799-8_57

D. Neider and N. Jansen, "Regular Model Checking Using Solver Technologies and Automata Learning" in Proc. NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013.
doi: 10.1007/978-3-642-38088-4_2

D. Neider, R. Rabinovich, and M. Zimmermann, "Down the Borel Hierarchy: Solving Muller Games via Safety Games" in Proc. Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012, 2012.
doi: 10.4204/EPTCS.96.13

D. Neider, "Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers" in Proc. Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, 2012.
doi: 10.1007/978-3-642-33386-6_28

M. Leucker and D. Neider, "Learning Minimal Deterministic Automata from Inexperienced Teachers" in Proc. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012.
doi: 10.1007/978-3-642-34026-0_39

D. Neider, "Small Strategies for Safety Games" in Proc. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, 2011.
doi: 10.1007/978-3-642-24372-1_22

B. Bollig, J. -, C. Kern, M. Leucker, D. Neider, and D. R. Piegdon, "Libalf: The Automata Learning Framework" in Proc. Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, 2010.
doi: 10.1007/978-3-642-14295-6_32

D. Neider, "Reachability Games on Automatic Graphs" in Proc. Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers, 2010.
doi: 10.1007/978-3-642-18098-9_24

D. Neider, "Lernverfahren für Automaten über linearisierten XML-Dokumenten" Inform. Spektrum, vol. 32, iss. 3.
doi: 10.1007/s00287-008-0265-x

D. Neider, "Learning Automata for Streaming XML Documents" in Proc. Informatiktage 2008 - Fachwissenschaftlicher Informatik-Kongress, 14. und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn, 2008.

M. Möllers, E. Müller, D. Neider, and L. Seweryn, "MediSign - Secure Pharmaceutic Distribution" in Proc. Informatiktage 2006 - Fachwissenschaftlicher Informatik-Kongress, 31. März und 1. April 2006, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2006.