Kontakt

Prof. Dr. Daniel Neider

Uhlhornsweg, A03 2-202a

Sekretariat

Ingrid Ahlhorn

+49 (0)441 798 2426

A03 2-208

Uhlhornsweg 84
26129 Oldenburg

Publikationen

  • S. P. Nayak, D. Neider, R. Roy, und M. Zimmermann, "Robust Computation Tree Logic" CoRR, vol. abs/2201.07116, 2022.
    @article{DBLP:journals/corr/abs-2201-07116,
      author = {Satya Prakash Nayak and Daniel Neider and Rajarshi Roy and Martin Zimmermann},
      title = {Robust Computation Tree Logic},
      journal = {CoRR},
      volume = {abs/2201.07116},
      year = {2022},
      url = {https://arxiv.org/abs/2201.07116},
      eprinttype = {arXiv},
      eprint = {2201.07116},
      timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2201-07116.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • X. Xie, K. Kersting, und D. Neider, "Neuro-Symbolic Verification of Deep Neural Networks" CoRR, vol. abs/2203.00938, 2022.
    @article{DBLP:journals/corr/abs-2203-00938,
      author = {Xuan Xie and Kristian Kersting and Daniel Neider},
      title = {Neuro-Symbolic Verification of Deep Neural Networks},
      journal = {CoRR},
      volume = {abs/2203.00938},
      year = {2022},
      url = {https://doi.org/10.48550/arXiv.2203.00938},
      doi = {10.48550/arXiv.2203.00938},
      eprinttype = {arXiv},
      eprint = {2203.00938},
      timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2203-00938.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Anevlavis, M. Philippe, D. Neider, und P. Tabuada, "Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic" ACM Trans. Comput. Log., vol. 23, iss. 2, p. 8:1-8:39, 2022.
    @article{DBLP:journals/tocl/AnevlavisPNT22,
      author = {Tzanis Anevlavis and Matthew Philippe and Daniel Neider and Paulo Tabuada},
      title = {Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic},
      journal = {{ACM} Trans. Comput. Log.},
      volume = {23},
      number = {2},
      pages = {8:1--8:39},
      year = {2022},
      url = {https://doi.org/10.1145/3491216},
      doi = {10.1145/3491216},
      timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/tocl/AnevlavisPNT22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    R. Raha, R. Roy, N. Fijalkow, und 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, pp. 263-280.
    @inproceedings{DBLP:conf/tacas/RahaRFN22,
      author = {Ritam Raha and Rajarshi Roy and Nathana{\"{e}}l Fijalkow and Daniel Neider},
      editor = {Dana Fisman and Grigore Rosu},
      title = {Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic},
      booktitle = {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}},
      series = {Lecture Notes in Computer Science},
      volume = {13243},
      pages = {263--280},
      publisher = {Springer},
      year = {2022},
      url = {https://doi.org/10.1007/978-3-030-99524-9\_14},
      doi = {10.1007/978-3-030-99524-9\_14},
      timestamp = {Fri, 01 Apr 2022 15:49:27 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/RahaRFN22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, J. -, I. Gavran, U. Topcu, B. Wu, und 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, pp. 9073-9080.
    @inproceedings{DBLP:conf/aaai/NeiderGGT0021,
      author = {Daniel Neider and Jean{-}Rapha{\"{e}}l Gaglione and Ivan Gavran and Ufuk Topcu and Bo Wu and Zhe Xu},
      title = {Advice-Guided Reinforcement Learning in a non-Markovian Environment},
      booktitle = {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},
      pages = {9073--9080},
      publisher = {{AAAI} Press},
      year = {2021},
      url = {https://ojs.aaai.org/index.php/AAAI/article/view/17096},
      timestamp = {Sat, 05 Jun 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/aaai/NeiderGGT0021.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • T. Anevlavis, M. Philippe, D. Neider, und P. Tabuada, "Being correct is not enough: efficient verification using robust linear temporal logic" CoRR, vol. abs/2102.11991, 2021.
    @article{DBLP:journals/corr/abs-2102-11991,
      author = {Tzanis Anevlavis and Matthew Philippe and Daniel Neider and Paulo Tabuada},
      title = {Being correct is not enough: efficient verification using robust linear temporal logic},
      journal = {CoRR},
      volume = {abs/2102.11991},
      year = {2021},
      url = {https://arxiv.org/abs/2102.11991},
      eprinttype = {arXiv},
      eprint = {2102.11991},
      timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2102-11991.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. -, D. Neider, R. Roy, U. Topcu, und Z. Xu, "Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach" CoRR, vol. abs/2104.15083, 2021.
    @article{DBLP:journals/corr/abs-2104-15083,
      author = {Jean{-}Rapha{\"{e}}l Gaglione and Daniel Neider and Rajarshi Roy and Ufuk Topcu and Zhe Xu},
      title = {Learning Linear Temporal Properties from Noisy Data: {A} MaxSAT Approach},
      journal = {CoRR},
      volume = {abs/2104.15083},
      year = {2021},
      url = {https://arxiv.org/abs/2104.15083},
      eprinttype = {arXiv},
      eprint = {2104.15083},
      timestamp = {Tue, 04 May 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2104-15083.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • N. Baharisangari, J. -, D. Neider, U. Topcu, und Z. Xu, "Uncertainty-Aware Signal Temporal logic" CoRR, vol. abs/2105.11545, 2021.
    @article{DBLP:journals/corr/abs-2105-11545,
      author = {Nasim Baharisangari and Jean{-}Rapha{\"{e}}l Gaglione and Daniel Neider and Ufuk Topcu and Zhe Xu},
      title = {Uncertainty-Aware Signal Temporal logic},
      journal = {CoRR},
      volume = {abs/2105.11545},
      year = {2021},
      url = {https://arxiv.org/abs/2105.11545},
      eprinttype = {arXiv},
      eprint = {2105.11545},
      timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2105-11545.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • R. Raha, R. Roy, N. Fijalkow, und D. Neider, "Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic" CoRR, vol. abs/2110.06726, 2021.
    @article{DBLP:journals/corr/abs-2110-06726,
      author = {Ritam Raha and Rajarshi Roy and Nathana{\"{e}}l Fijalkow and Daniel Neider},
      title = {Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic},
      journal = {CoRR},
      volume = {abs/2110.06726},
      year = {2021},
      url = {https://arxiv.org/abs/2110.06726},
      eprinttype = {arXiv},
      eprint = {2110.06726},
      timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2110-06726.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • L. Struppek, D. Hintersdorf, D. Neider, und K. Kersting, "Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash" CoRR, vol. abs/2111.06628, 2021.
    @article{DBLP:journals/corr/abs-2111-06628,
      author = {Lukas Struppek and Dominik Hintersdorf and Daniel Neider and Kristian Kersting},
      title = {Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash},
      journal = {CoRR},
      volume = {abs/2111.06628},
      year = {2021},
      url = {https://arxiv.org/abs/2111.06628},
      eprinttype = {arXiv},
      eprint = {2111.06628},
      timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2111-06628.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. P. Nayak, D. Neider, und 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, p. 32:1-32:2.
    @inproceedings{DBLP:conf/hybrid/NayakN021,
      author = {Satya Prakash Nayak and Daniel Neider and Martin Zimmermann},
      editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers},
      title = {Adaptive strategies for rLTL games},
      booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021},
      pages = {32:1--32:2},
      publisher = {{ACM}},
      year = {2021},
      url = {https://doi.org/10.1145/3447928.3457210},
      doi = {10.1145/3447928.3457210},
      timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/hybrid/NayakN021.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Böing, R. Roy, D. Neider, und 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, pp. 103-107.
    @inproceedings{DBLP:conf/gandalf/Boing0NM21,
      author = {Benedikt B{\"{o}}ing and Rajarshi Roy and Daniel Neider and Emmanuel M{\"{u}}ller},
      editor = {Dario Della Monica and Gian Luca Pozzato and Enrico Scala},
      title = {{QUGA} - Quality Guarantees for Autoencoders},
      booktitle = {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},
      series = {{CEUR} Workshop Proceedings},
      volume = {2987},
      pages = {103--107},
      publisher = {CEUR-WS.org},
      year = {2021},
      url = {http://ceur-ws.org/Vol-2987/paper18.pdf},
      timestamp = {Tue, 26 Oct 2021 14:09:04 +0200},
      biburl = {https://dblp.org/rec/conf/gandalf/Boing0NM21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. i, B. Bollig, A. Finkel, S. Haddad, I. Khmelnitsky, M. Leucker, D. Neider, R. Roy, und 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, pp. 113-129.
    @inproceedings{DBLP:conf/icgi/BarbotBFHKLN0Y21,
      author = {Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Igor Khmelnitsky and Martin Leucker and Daniel Neider and Rajarshi Roy and Lina Ye},
      editor = {Jane Chandlee and R{\'{e}}mi Eyraud and Jeff Heinz and Adam Jardine and Menno Zaanen},
      title = {Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search},
      booktitle = {Proceedings of the 15th International Conference on Grammatical Inference, 23-27 August 2021, Virtual Event},
      series = {Proceedings of Machine Learning Research},
      volume = {153},
      pages = {113--129},
      publisher = {{PMLR}},
      year = {2021},
      url = {https://proceedings.mlr.press/v153/barbot21a.html},
      timestamp = {Mon, 28 Mar 2022 10:40:54 +0200},
      biburl = {https://dblp.org/rec/conf/icgi/BarbotBFHKLN0Y21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    J. -, D. Neider, R. Roy, U. Topcu, und 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, pp. 74-90.
    @inproceedings{DBLP:conf/atva/GaglioneNRTX21,
      author = {Jean{-}Rapha{\"{e}}l Gaglione and Daniel Neider and Rajarshi Roy and Ufuk Topcu and Zhe Xu},
      editor = {Zhe Hou and Vijay Ganesh},
      title = {Learning Linear Temporal Properties from Noisy Data: {A} MaxSAT-Based Approach},
      booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12971},
      pages = {74--90},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-88885-5\_6},
      doi = {10.1007/978-3-030-88885-5\_6},
      timestamp = {Mon, 18 Oct 2021 08:49:54 +0200},
      biburl = {https://dblp.org/rec/conf/atva/GaglioneNRTX21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    I. Khmelnitsky, D. Neider, R. Roy, X. Xie, B. i, B. Bollig, A. Finkel, S. Haddad, M. Leucker, und 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, pp. 364-380.
    @inproceedings{DBLP:conf/atva/KhmelnitskyNRXB21,
      author = {Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Xuan Xie and Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye},
      editor = {Zhe Hou and Vijay Ganesh},
      title = {Property-Directed Verification and Robustness Certification of Recurrent Neural Networks},
      booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12971},
      pages = {364--380},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-88885-5\_24},
      doi = {10.1007/978-3-030-88885-5\_24},
      timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Z. Xu, B. Wu, A. Ojha, D. Neider, und 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, pp. 115-135.
    @inproceedings{DBLP:conf/cdmake/XuWONT21,
      author = {Zhe Xu and Bo Wu and Aditya Ojha and Daniel Neider and Ufuk Topcu},
      editor = {Andreas Holzinger and Peter Kieseberg and A Min Tjoa and Edgar R. Weippl},
      title = {Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {12844},
      pages = {115--135},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-84060-0\_8},
      doi = {10.1007/978-3-030-84060-0\_8},
      timestamp = {Mon, 16 Aug 2021 14:34:40 +0200},
      biburl = {https://dblp.org/rec/conf/cdmake/XuWONT21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    N. Baharisangari, J. -, D. Neider, U. Topcu, und 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, pp. 61-85.
    @inproceedings{DBLP:conf/vstte/BaharisangariGN21,
      author = {Nasim Baharisangari and Jean{-}Rapha{\"{e}}l Gaglione and Daniel Neider and Ufuk Topcu and Zhe Xu},
      editor = {Roderick Bloem and Rayna Dimitrova and Chuchu Fan and Natasha Sharygina},
      title = {Uncertainty-Aware Signal Temporal Logic Inference},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {13124},
      pages = {61--85},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-95561-8\_5},
      doi = {10.1007/978-3-030-95561-8\_5},
      timestamp = {Fri, 25 Feb 2022 09:52:01 +0100},
      biburl = {https://dblp.org/rec/conf/vstte/BaharisangariGN21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • R. Roy, D. Fisman, und D. Neider, "Learning Interpretable Models in the Property Specification Language" CoRR, vol. abs/2002.03668, 2020.
    @article{DBLP:journals/corr/abs-2002-03668,
      author = {Rajarshi Roy and Dana Fisman and Daniel Neider},
      title = {Learning Interpretable Models in the Property Specification Language},
      journal = {CoRR},
      volume = {abs/2002.03668},
      year = {2020},
      url = {https://arxiv.org/abs/2002.03668},
      eprinttype = {arXiv},
      eprint = {2002.03668},
      timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2002-03668.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • B. Ghosh und D. Neider, "A Formal Language Approach to Explaining RNNs" CoRR, vol. abs/2006.07292, 2020.
    @article{DBLP:journals/corr/abs-2006-07292,
      author = {Bishwamittra Ghosh and Daniel Neider},
      title = {A Formal Language Approach to Explaining RNNs},
      journal = {CoRR},
      volume = {abs/2006.07292},
      year = {2020},
      url = {https://arxiv.org/abs/2006.07292},
      eprinttype = {arXiv},
      eprint = {2006.07292},
      timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2006-07292.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • Z. Xu, B. Wu, D. Neider, und U. Topcu, "Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples" CoRR, vol. abs/2006.15714, 2020.
    @article{DBLP:journals/corr/abs-2006-15714,
      author = {Zhe Xu and Bo Wu and Daniel Neider and Ufuk Topcu},
      title = {Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples},
      journal = {CoRR},
      volume = {abs/2006.15714},
      year = {2020},
      url = {https://arxiv.org/abs/2006.15714},
      eprinttype = {arXiv},
      eprint = {2006.15714},
      timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2006-15714.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • S. Samuel, K. Mallik, A. -, und D. Neider, "Resilient Abstraction-Based Controller Design" CoRR, vol. abs/2008.06315, 2020.
    @article{DBLP:journals/corr/abs-2008-06315,
      author = {Stanly Samuel and Kaushik Mallik and Anne{-}Kathrin Schmuck and Daniel Neider},
      title = {Resilient Abstraction-Based Controller Design},
      journal = {CoRR},
      volume = {abs/2008.06315},
      year = {2020},
      url = {https://arxiv.org/abs/2008.06315},
      eprinttype = {arXiv},
      eprint = {2008.06315},
      timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2008-06315.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider und B. Ghosh, "Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis" CoRR, vol. abs/2009.08770, 2020.
    @article{DBLP:journals/corr/abs-2009-08770,
      author = {Daniel Neider and Bishwamittra Ghosh},
      title = {Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis},
      journal = {CoRR},
      volume = {abs/2009.08770},
      year = {2020},
      url = {https://arxiv.org/abs/2009.08770},
      eprinttype = {arXiv},
      eprint = {2009.08770},
      timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2009-08770.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • I. Khmelnitsky, D. Neider, R. Roy, B. i, B. Bollig, A. Finkel, S. Haddad, M. Leucker, und L. Ye, "Property-Directed Verification of Recurrent Neural Networks" CoRR, vol. abs/2009.10610, 2020.
    @article{DBLP:journals/corr/abs-2009-10610,
      author = {Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye},
      title = {Property-Directed Verification of Recurrent Neural Networks},
      journal = {CoRR},
      volume = {abs/2009.10610},
      year = {2020},
      url = {https://arxiv.org/abs/2009.10610},
      eprinttype = {arXiv},
      eprint = {2009.10610},
      timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2009-10610.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • O. Markgraf, C. -, A. W. Lin, M. Najib, und D. Neider, "Parameterized Synthesis with Safety Properties" CoRR, vol. abs/2009.13459, 2020.
    @article{DBLP:journals/corr/abs-2009-13459,
      author = {Oliver Markgraf and Chih{-}Duo Hong and Anthony W. Lin and Muhammad Najib and Daniel Neider},
      title = {Parameterized Synthesis with Safety Properties},
      journal = {CoRR},
      volume = {abs/2009.13459},
      year = {2020},
      url = {https://arxiv.org/abs/2009.13459},
      eprinttype = {arXiv},
      eprint = {2009.13459},
      timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2009-13459.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    Z. Xu, I. Gavran, Y. Ahmad, R. Majumdar, D. Neider, U. Topcu, und 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, pp. 590-598.
    @inproceedings{DBLP:conf/aips/0005GAMNT020,
      author = {Zhe Xu and Ivan Gavran and Yousef Ahmad and Rupak Majumdar and Daniel Neider and Ufuk Topcu and Bo Wu},
      editor = {J. Christopher Beck and Olivier Buffet and J{\"{o}}rg Hoffmann and Erez Karpas and Shirin Sohrabi},
      title = {Joint Inference of Reward Machines and Policies for Reinforcement Learning},
      booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020},
      pages = {590--598},
      publisher = {{AAAI} Press},
      year = {2020},
      url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6756},
      timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/aips/0005GAMNT020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Samuel, K. Mallik, A. -, und 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, pp. 2123-2129.
    @inproceedings{DBLP:conf/cdc/SamuelMSN20,
      author = {Stanly Samuel and Kaushik Mallik and Anne{-}Kathrin Schmuck and Daniel Neider},
      title = {Resilient Abstraction-Based Controller Design},
      booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island, South Korea, December 14-18, 2020},
      pages = {2123--2129},
      publisher = {{IEEE}},
      year = {2020},
      url = {https://doi.org/10.1109/CDC42340.2020.9303932},
      doi = {10.1109/CDC42340.2020.9303932},
      timestamp = {Fri, 04 Mar 2022 13:31:02 +0100},
      biburl = {https://dblp.org/rec/conf/cdc/SamuelMSN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    R. Ehlers, I. Gavran, und 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, pp. 104-112.
    @inproceedings{DBLP:conf/fmcad/EhlersGN20,
      author = {R{\"{u}}diger Ehlers and Ivan Gavran and Daniel Neider},
      title = {Learning Properties in {LTL} {\(\cap\)} {ACTL} from Positive Examples Only},
      booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa, Israel, September 21-24, 2020},
      pages = {104--112},
      publisher = {{IEEE}},
      year = {2020},
      url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_17},
      doi = {10.34727/2020/isbn.978-3-85448-042-6\_17},
      timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
      biburl = {https://dblp.org/rec/conf/fmcad/EhlersGN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, A. Weinert, und M. Zimmermann, "Synthesizing optimally resilient controllers" Acta Informatica, vol. 57, iss. 1-2, pp. 195-221, 2020.
    @article{DBLP:journals/acta/NeiderWZ20,
      author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
      title = {Synthesizing optimally resilient controllers},
      journal = {Acta Informatica},
      volume = {57},
      number = {1-2},
      pages = {195--221},
      year = {2020},
      url = {https://doi.org/10.1007/s00236-019-00345-7},
      doi = {10.1007/s00236-019-00345-7},
      timestamp = {Fri, 14 May 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/acta/NeiderWZ20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, P. Madhusudan, S. Saha, P. Garg, und D. Park, "A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines" J. Autom. Reason., vol. 64, iss. 7, pp. 1523-1552, 2020.
    @article{DBLP:journals/jar/NeiderMSGP20,
      author = {Daniel Neider and P. Madhusudan and Shambwaditya Saha and Pranav Garg and Daejun Park},
      title = {A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines},
      journal = {J. Autom. Reason.},
      volume = {64},
      number = {7},
      pages = {1523--1552},
      year = {2020},
      url = {https://doi.org/10.1007/s10817-020-09570-z},
      doi = {10.1007/s10817-020-09570-z},
      timestamp = {Fri, 14 May 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/jar/NeiderMSGP20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Mascle, D. Neider, M. Schwenger, P. Tabuada, A. Weinert, und 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, p. 7:1-7:12.
    @inproceedings{DBLP:conf/hybrid/MascleNSTW020,
      author = {Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann},
      editor = {Aaron D. Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh},
      title = {From {LTL} to rLTL monitoring: improved monitorability through robust semantics},
      booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020},
      pages = {7:1--7:12},
      publisher = {{ACM}},
      year = {2020},
      url = {https://doi.org/10.1145/3365365.3382197},
      doi = {10.1145/3365365.3382197},
      timestamp = {Fri, 11 Sep 2020 12:57:20 +0200},
      biburl = {https://dblp.org/rec/conf/hybrid/MascleNSTW020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    S. Samuel, K. Mallik, A. -, und 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, p. 33:1-33:2.
    @inproceedings{DBLP:conf/hybrid/SamuelMSN20,
      author = {Stanly Samuel and Kaushik Mallik and Anne{-}Kathrin Schmuck and Daniel Neider},
      editor = {Aaron D. Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh},
      title = {Resilient abstraction-based controller design},
      booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020},
      pages = {33:1--33:2},
      publisher = {{ACM}},
      year = {2020},
      url = {https://doi.org/10.1145/3365365.3383467},
      doi = {10.1145/3365365.3383467},
      timestamp = {Thu, 07 May 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/hybrid/SamuelMSN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    R. Roy, D. Fisman, und 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, pp. 2213-2219.
    @inproceedings{DBLP:conf/ijcai/0002FN20,
      author = {Rajarshi Roy and Dana Fisman and Daniel Neider},
      editor = {Christian Bessiere},
      title = {Learning Interpretable Models in the Property Specification Language},
      booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020},
      pages = {2213--2219},
      publisher = {ijcai.org},
      year = {2020},
      url = {https://doi.org/10.24963/ijcai.2020/306},
      doi = {10.24963/ijcai.2020/306},
      timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
      biburl = {https://dblp.org/rec/conf/ijcai/0002FN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    O. Markgraf, C. -, A. W. Lin, M. Najib, und 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, pp. 273-292.
    @inproceedings{DBLP:conf/aplas/MarkgrafHLNN20,
      author = {Oliver Markgraf and Chih{-}Duo Hong and Anthony W. Lin and Muhammad Najib and Daniel Neider},
      editor = {Bruno C. d. S. Oliveira},
      title = {Parameterized Synthesis with Safety Properties},
      booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS} 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {12470},
      pages = {273--292},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-64437-6\_14},
      doi = {10.1007/978-3-030-64437-6\_14},
      timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/aplas/MarkgrafHLNN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, P. Totzke, und 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, p. 74:1-74:15.
    @inproceedings{DBLP:conf/mfcs/NeiderT020,
      author = {Daniel Neider and Patrick Totzke and Martin Zimmermann},
      editor = {Javier Esparza and Daniel Kr{\'{a}}l'},
      title = {Optimally Resilient Strategies in Pushdown Safety Games},
      booktitle = {45th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
      series = {LIPIcs},
      volume = {170},
      pages = {74:1--74:15},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2020},
      url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.74},
      doi = {10.4230/LIPIcs.MFCS.2020.74},
      timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
      biburl = {https://dblp.org/rec/conf/mfcs/NeiderT020.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Böing, R. Roy, E. Müller, und 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, pp. 206-222.
    @inproceedings{DBLP:conf/pkdd/Boing0MN20,
      author = {Benedikt B{\"{o}}ing and Rajarshi Roy and Emmanuel M{\"{u}}ller and Daniel Neider},
      editor = {Frank Hutter and Kristian Kersting and Jefrey Lijffijt and Isabel Valera},
      title = {Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks},
      booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference, {ECML} {PKDD} 2020, Ghent, Belgium, September 14-18, 2020, Proceedings, Part {II}},
      series = {Lecture Notes in Computer Science},
      volume = {12458},
      pages = {206--222},
      publisher = {Springer},
      year = {2020},
      url = {https://doi.org/10.1007/978-3-030-67661-2\_13},
      doi = {10.1007/978-3-030-67661-2\_13},
      timestamp = {Fri, 26 Feb 2021 14:57:34 +0100},
      biburl = {https://dblp.org/rec/conf/pkdd/Boing0MN20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider und O. Markgraf, "Learning-Based Synthesis of Safety Controllers" CoRR, vol. abs/1901.06801, 2019.
    @article{DBLP:journals/corr/abs-1901-06801,
      author = {Daniel Neider and Oliver Markgraf},
      title = {Learning-Based Synthesis of Safety Controllers},
      journal = {CoRR},
      volume = {abs/1901.06801},
      year = {2019},
      url = {http://arxiv.org/abs/1901.06801},
      eprinttype = {arXiv},
      eprint = {1901.06801},
      timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1901-06801.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • Z. Xu, I. Gavran, Y. Ahmad, R. Majumdar, D. Neider, U. Topcu, und B. Wu, "Joint Inference of Reward Machines and Policies for Reinforcement Learning" CoRR, vol. abs/1909.05912, 2019.
    @article{DBLP:journals/corr/abs-1909-05912,
      author = {Zhe Xu and Ivan Gavran and Yousef Ahmad and Rupak Majumdar and Daniel Neider and Ufuk Topcu and Bo Wu},
      title = {Joint Inference of Reward Machines and Policies for Reinforcement Learning},
      journal = {CoRR},
      volume = {abs/1909.05912},
      year = {2019},
      url = {http://arxiv.org/abs/1909.05912},
      eprinttype = {arXiv},
      eprint = {1909.05912},
      timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1909-05912.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, P. Totzke, und M. Zimmermann, "Optimally Resilient Strategies in Pushdown Safety Games" CoRR, vol. abs/1912.04771, 2019.
    @article{DBLP:journals/corr/abs-1912-04771,
      author = {Daniel Neider and Patrick Totzke and Martin Zimmermann},
      title = {Optimally Resilient Strategies in Pushdown Safety Games},
      journal = {CoRR},
      volume = {abs/1912.04771},
      year = {2019},
      url = {http://arxiv.org/abs/1912.04771},
      eprinttype = {arXiv},
      eprint = {1912.04771},
      timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1912-04771.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Benedikt, K. Kersting, P. G. Kolaitis, und D. Neider, "Logic and Learning (Dagstuhl Seminar 19361)" Dagstuhl Reports, vol. 9, iss. 9, pp. 1-22, 2019.
    @article{DBLP:journals/dagstuhl-reports/BenediktKKN19,
      author = {Michael Benedikt and Kristian Kersting and Phokion G. Kolaitis and Daniel Neider},
      title = {Logic and Learning (Dagstuhl Seminar 19361)},
      journal = {Dagstuhl Reports},
      volume = {9},
      number = {9},
      pages = {1--22},
      year = {2019},
      url = {https://doi.org/10.4230/DagRep.9.9.1},
      doi = {10.4230/DagRep.9.9.1},
      timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BenediktKKN19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider und 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, pp. 120-128.
    @inproceedings{DBLP:conf/fmcad/NeiderM19,
      author = {Daniel Neider and Oliver Markgraf},
      editor = {Clark W. Barrett and Jin Yang},
      title = {Learning-Based Synthesis of Safety Controllers},
      booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019},
      pages = {120--128},
      publisher = {{IEEE}},
      year = {2019},
      url = {https://doi.org/10.23919/FMCAD.2019.8894254},
      doi = {10.23919/FMCAD.2019.8894254},
      timestamp = {Thu, 14 Nov 2019 12:14:47 +0100},
      biburl = {https://dblp.org/rec/conf/fmcad/NeiderM19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Anevlavis, D. Neider, M. Phillipe, und 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, pp. 218-223.
    @inproceedings{DBLP:conf/hybrid/AnevlavisNPT19,
      author = {Tzanis Anevlavis and Daniel Neider and Matthew Phillipe and Paulo Tabuada},
      editor = {Necmiye Ozay and Pavithra Prabhakar},
      title = {Evrostos: the rLTL verifier},
      booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April 16-18, 2019},
      pages = {218--223},
      publisher = {{ACM}},
      year = {2019},
      url = {https://doi.org/10.1145/3302504.3311812},
      doi = {10.1145/3302504.3311812},
      timestamp = {Sun, 07 Apr 2019 17:45:27 +0200},
      biburl = {https://dblp.org/rec/conf/hybrid/AnevlavisNPT19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, A. Weinert, und 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, pp. 1-16.
    @inproceedings{DBLP:journals/corr/abs-1909-08538,
      author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
      editor = {J{\'{e}}r{\^{o}}me Leroux and Jean{-}Fran{\c{c}}ois Raskin},
      title = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free},
      booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019},
      series = {{EPTCS}},
      volume = {305},
      pages = {1--16},
      year = {2019},
      url = {https://doi.org/10.4204/EPTCS.305.1},
      doi = {10.4204/EPTCS.305.1},
      timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1909-08538.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, S. Saha, P. Garg, und 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, pp. 323-346.
    @inproceedings{DBLP:conf/sas/NeiderS0M19,
      author = {Daniel Neider and Shambwaditya Saha and Pranav Garg and P. Madhusudan},
      editor = {Bor{-}Yuh Evan Chang},
      title = {Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants},
      booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto, Portugal, October 8-11, 2019, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11822},
      pages = {323--346},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-32304-2\_16},
      doi = {10.1007/978-3-030-32304-2\_16},
      timestamp = {Mon, 07 Oct 2019 12:34:57 +0200},
      biburl = {https://dblp.org/rec/conf/sas/NeiderS0M19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider und I. Gavran, "Learning Linear Temporal Properties" CoRR, vol. abs/1806.03953, 2018.
    @article{DBLP:journals/corr/abs-1806-03953,
      author = {Daniel Neider and Ivan Gavran},
      title = {Learning Linear Temporal Properties},
      journal = {CoRR},
      volume = {abs/1806.03953},
      year = {2018},
      url = {http://arxiv.org/abs/1806.03953},
      eprinttype = {arXiv},
      eprint = {1806.03953},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1806-03953.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • C. Mascle, D. Neider, M. Schwenger, P. Tabuada, A. Weinert, und M. Zimmermann, "From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics" CoRR, vol. abs/1807.08203, 2018.
    @article{DBLP:journals/corr/abs-1807-08203,
      author = {Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann},
      title = {From {LTL} to rLTL Monitoring: Improved Monitorability through Robust Semantics},
      journal = {CoRR},
      volume = {abs/1807.08203},
      year = {2018},
      url = {http://arxiv.org/abs/1807.08203},
      eprinttype = {arXiv},
      eprint = {1807.08203},
      timestamp = {Tue, 21 May 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1807-08203.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, A. Weinert, und M. Zimmermann, "Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free" CoRR, vol. abs/1808.09028, 2018.
    @article{DBLP:journals/corr/abs-1808-09028,
      author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
      title = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free},
      journal = {CoRR},
      volume = {abs/1808.09028},
      year = {2018},
      url = {http://arxiv.org/abs/1808.09028},
      eprinttype = {arXiv},
      eprint = {1808.09028},
      timestamp = {Tue, 21 May 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1808-09028.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    T. Anevlavis, M. Philippe, D. Neider, und 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, pp. 1556-1561.
    @inproceedings{DBLP:conf/cdc/AnevlavisPNT18,
      author = {Tzanis Anevlavis and Matthew Philippe and Daniel Neider and Paulo Tabuada},
      title = {Verifying rLTL formulas: now faster than ever before!},
      booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami, FL, USA, December 17-19, 2018},
      pages = {1556--1561},
      publisher = {{IEEE}},
      year = {2018},
      url = {https://doi.org/10.1109/CDC.2018.8619014},
      doi = {10.1109/CDC.2018.8619014},
      timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
      biburl = {https://dblp.org/rec/conf/cdc/AnevlavisPNT18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • P. Ezudheen, D. Neider, D. D'Souza, P. Garg, und P. Madhusudan, "Horn-ICE learning for synthesizing invariants and contracts" Proc. ACM Program. Lang., vol. 2, iss. OOPSLA, p. 131:1-131:25, 2018.
    @article{DBLP:journals/pacmpl/EzudheenND0M18,
      author = {P. Ezudheen and Daniel Neider and Deepak D'Souza and Pranav Garg and P. Madhusudan},
      title = {Horn-ICE learning for synthesizing invariants and contracts},
      journal = {Proc. {ACM} Program. Lang.},
      volume = {2},
      number = {{OOPSLA}},
      pages = {131:1--131:25},
      year = {2018},
      url = {https://doi.org/10.1145/3276501},
      doi = {10.1145/3276501},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/pacmpl/EzudheenND0M18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, S. Saha, und P. Madhusudan, "Compositional Synthesis of Piece-Wise Functions by Learning Classifiers" ACM Trans. Comput. Log., vol. 19, iss. 2, p. 10:1-10:23, 2018.
    @article{DBLP:journals/tocl/NeiderSM18,
      author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan},
      title = {Compositional Synthesis of Piece-Wise Functions by Learning Classifiers},
      journal = {{ACM} Trans. Comput. Log.},
      volume = {19},
      number = {2},
      pages = {10:1--10:23},
      year = {2018},
      url = {https://doi.org/10.1145/3173545},
      doi = {10.1145/3173545},
      timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/tocl/NeiderSM18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider und 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, pp. 1-10.
    @inproceedings{DBLP:conf/fmcad/NeiderG18,
      author = {Daniel Neider and Ivan Gavran},
      editor = {Nikolaj Bj{\o}rner and Arie Gurfinkel},
      title = {Learning Linear Temporal Properties},
      booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin, TX, USA, October 30 - November 2, 2018},
      pages = {1--10},
      publisher = {{IEEE}},
      year = {2018},
      url = {https://doi.org/10.23919/FMCAD.2018.8603016},
      doi = {10.23919/FMCAD.2018.8603016},
      timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
      biburl = {https://dblp.org/rec/conf/fmcad/NeiderG18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, R. Smetsers, F. W. Vaandrager, und 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, pp. 390-416.
    @inproceedings{DBLP:conf/birthday/NeiderSVK97,
      author = {Daniel Neider and Rick Smetsers and Frits W. Vaandrager and Harco Kuppens},
      editor = {Tiziana Margaria and Susanne Graf and Kim G. Larsen},
      title = {Benchmarks for Automata Learning and Conformance Testing},
      booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
      series = {Lecture Notes in Computer Science},
      volume = {11200},
      pages = {390--416},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-030-22348-9\_23},
      doi = {10.1007/978-3-030-22348-9\_23},
      timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/birthday/NeiderSVK97.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, A. Weinert, und 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, p. 34:1-34:17.
    @inproceedings{DBLP:conf/csl/NeiderW018,
      author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
      editor = {Dan R. Ghica and Achim Jung},
      title = {Synthesizing Optimally Resilient Controllers},
      booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}},
      series = {LIPIcs},
      volume = {119},
      pages = {34:1--34:17},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2018},
      url = {https://doi.org/10.4230/LIPIcs.CSL.2018.34},
      doi = {10.4230/LIPIcs.CSL.2018.34},
      timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
      biburl = {https://dblp.org/rec/conf/csl/NeiderW018.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, P. Garg, P. Madhusudan, S. Saha, und 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, pp. 232-250.
    @inproceedings{DBLP:conf/tacas/Neider0MS018,
      author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park},
      editor = {Dirk Beyer and Marieke Huisman},
      title = {Invariant Synthesis for Incomplete Verification Engines},
      booktitle = {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}},
      series = {Lecture Notes in Computer Science},
      volume = {10805},
      pages = {232--250},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-89960-2\_13},
      doi = {10.1007/978-3-319-89960-2\_13},
      timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/Neider0MS018.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, A. Weinert, und M. Zimmermann, "Synthesizing Optimally Resilient Controllers" CoRR, vol. abs/1709.04854, 2017.
    @article{DBLP:journals/corr/abs-1709-04854,
      author = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
      title = {Synthesizing Optimally Resilient Controllers},
      journal = {CoRR},
      volume = {abs/1709.04854},
      year = {2017},
      url = {http://arxiv.org/abs/1709.04854},
      eprinttype = {arXiv},
      eprint = {1709.04854},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1709-04854.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, P. Garg, P. Madhusudan, S. Saha, und D. Park, "Invariant Synthesis for Incomplete Verification Engines" CoRR, vol. abs/1712.05581, 2017.
    @article{DBLP:journals/corr/abs-1712-05581,
      author = {Daniel Neider and Pranav Garg and P. Madhusudan and Shambwaditya Saha and Daejun Park},
      title = {Invariant Synthesis for Incomplete Verification Engines},
      journal = {CoRR},
      volume = {abs/1712.05581},
      year = {2017},
      url = {http://arxiv.org/abs/1712.05581},
      eprinttype = {arXiv},
      eprint = {1712.05581},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1712-05581.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. D'Souza, P. Ezudheen, P. Garg, P. Madhusudan, und D. Neider, "Horn-ICE Learning for Synthesizing Invariants and Contracts" CoRR, vol. abs/1712.09418, 2017.
    @article{DBLP:journals/corr/abs-1712-09418,
      author = {Deepak D'Souza and P. Ezudheen and Pranav Garg and P. Madhusudan and Daniel Neider},
      title = {Horn-ICE Learning for Synthesizing Invariants and Contracts},
      journal = {CoRR},
      volume = {abs/1712.09418},
      year = {2017},
      url = {http://arxiv.org/abs/1712.09418},
      eprinttype = {arXiv},
      eprint = {1712.09418},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1712-09418.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider und U. Topcu, "An Automaton Learning Approach to Solving Safety Games over Infinite Graphs" CoRR, vol. abs/1601.01660, 2016.
    @article{DBLP:journals/corr/NeiderT16,
      author = {Daniel Neider and Ufuk Topcu},
      title = {An Automaton Learning Approach to Solving Safety Games over Infinite Graphs},
      journal = {CoRR},
      volume = {abs/1601.01660},
      year = {2016},
      url = {http://arxiv.org/abs/1601.01660},
      eprinttype = {arXiv},
      eprint = {1601.01660},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/NeiderT16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    E. Dallal, D. Neider, und 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, pp. 7425-7430.
    @inproceedings{DBLP:conf/cdc/DallalNT16,
      author = {Eric Dallal and Daniel Neider and Paulo Tabuada},
      title = {Synthesis of safety controllers robust to unmodeled intermittent disturbances},
      booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016},
      pages = {7425--7430},
      publisher = {{IEEE}},
      year = {2016},
      url = {https://doi.org/10.1109/CDC.2016.7799416},
      doi = {10.1109/CDC.2016.7799416},
      timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
      biburl = {https://dblp.org/rec/conf/cdc/DallalNT16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    P. Garg, D. Neider, P. Madhusudan, und 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, pp. 499-512.
    @inproceedings{DBLP:conf/popl/0001NMR16,
      author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth},
      editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar},
      title = {Learning invariants using decision trees and implication counterexamples},
      booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
      pages = {499--512},
      publisher = {{ACM}},
      year = {2016},
      url = {https://doi.org/10.1145/2837614.2837664},
      doi = {10.1145/2837614.2837664},
      timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
      biburl = {https://dblp.org/rec/conf/popl/0001NMR16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    P. Tabuada und 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, p. 10:1-10:21.
    @inproceedings{DBLP:conf/csl/TabuadaN16,
      author = {Paulo Tabuada and Daniel Neider},
      editor = {Jean{-}Marc Talbot and Laurent Regnier},
      title = {Robust Linear Temporal Logic},
      booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France},
      series = {LIPIcs},
      volume = {62},
      pages = {10:1--10:21},
      publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
      year = {2016},
      url = {https://doi.org/10.4230/LIPIcs.CSL.2016.10},
      doi = {10.4230/LIPIcs.CSL.2016.10},
      timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
      biburl = {https://dblp.org/rec/conf/csl/TabuadaN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Löding, P. Madhusudan, und 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, pp. 167-185.
    @inproceedings{DBLP:conf/tacas/LodingMN16,
      author = {Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
      title = {Abstract Learning Frameworks for Synthesis},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {9636},
      pages = {167--185},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-662-49674-9\_10},
      doi = {10.1007/978-3-662-49674-9\_10},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/LodingMN16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, S. Saha, und 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, pp. 186-203.
    @inproceedings{DBLP:conf/tacas/NeiderSM16,
      author = {Daniel Neider and Shambwaditya Saha and P. Madhusudan},
      editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
      title = {Synthesizing Piece-Wise Functions by Learning Classifiers},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {9636},
      pages = {186--203},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-662-49674-9\_11},
      doi = {10.1007/978-3-662-49674-9\_11},
      timestamp = {Wed, 24 May 2017 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/NeiderSM16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider und 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, pp. 204-221.
    @inproceedings{DBLP:conf/tacas/NeiderT16,
      author = {Daniel Neider and Ufuk Topcu},
      editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
      title = {An Automaton Learning Approach to Solving Safety Games over Infinite Graphs},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {9636},
      pages = {204--221},
      publisher = {Springer},
      year = {2016},
      url = {https://doi.org/10.1007/978-3-662-49674-9\_12},
      doi = {10.1007/978-3-662-49674-9\_12},
      timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/NeiderT16.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • C. Löding, P. Madhusudan, und D. Neider, "Abstract Learning Frameworks for Synthesis" CoRR, vol. abs/1507.05612, 2015.
    @article{DBLP:journals/corr/LodingMN15,
      author = {Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      title = {Abstract Learning Frameworks for Synthesis},
      journal = {CoRR},
      volume = {abs/1507.05612},
      year = {2015},
      url = {http://arxiv.org/abs/1507.05612},
      eprinttype = {arXiv},
      eprint = {1507.05612},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/LodingMN15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • P. Tabuada und D. Neider, "Robust Linear Temporal Logic" CoRR, vol. abs/1510.08970, 2015.
    @article{DBLP:journals/corr/TabuadaN15,
      author = {Paulo Tabuada and Daniel Neider},
      title = {Robust Linear Temporal Logic},
      journal = {CoRR},
      volume = {abs/1510.08970},
      year = {2015},
      url = {http://arxiv.org/abs/1510.08970},
      eprinttype = {arXiv},
      eprint = {1510.08970},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/TabuadaN15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • P. Garg, C. Löding, P. Madhusudan, und 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, pp. 120-157, 2015.
    @article{DBLP:journals/fmsd/0001LMN15,
      author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      title = {Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists},
      journal = {Formal Methods Syst. Des.},
      volume = {47},
      number = {1},
      pages = {120--157},
      year = {2015},
      url = {https://doi.org/10.1007/s10703-015-0231-6},
      doi = {10.1007/s10703-015-0231-6},
      timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/fmsd/0001LMN15.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, "Applications of automata learning in verification and synthesis" PhD Thesis , 2014.
    @phdthesis{DBLP:phd/dnb/Neider14,
      author = {Daniel Neider},
      title = {Applications of automata learning in verification and synthesis},
      school = {{RWTH} Aachen University},
      year = {2014},
      url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2014/5169},
      urn = {urn:nbn:de:hbz:82-opus-51699},
      timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/phd/dnb/Neider14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, R. Rabinovich, und M. Zimmermann, "Down the Borel hierarchy: Solving Muller games via safety games" Theor. Comput. Sci., vol. 560, pp. 219-234, 2014.
    @article{DBLP:journals/tcs/NeiderR014,
      author = {Daniel Neider and Roman Rabinovich and Martin Zimmermann},
      title = {Down the Borel hierarchy: Solving Muller games via safety games},
      journal = {Theor. Comput. Sci.},
      volume = {560},
      pages = {219--234},
      year = {2014},
      url = {https://doi.org/10.1016/j.tcs.2014.01.017},
      doi = {10.1016/j.tcs.2014.01.017},
      timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/tcs/NeiderR014.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    P. Garg, C. Löding, P. Madhusudan, und 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, pp. 69-87.
    @inproceedings{DBLP:conf/cav/0001LMN14,
      author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      editor = {Armin Biere and Roderick Bloem},
      title = {{ICE:} {A} Robust Framework for Learning Invariants},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {8559},
      pages = {69--87},
      publisher = {Springer},
      year = {2014},
      url = {https://doi.org/10.1007/978-3-319-08867-9\_5},
      doi = {10.1007/978-3-319-08867-9\_5},
      timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
      biburl = {https://dblp.org/rec/conf/cav/0001LMN14.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • P. Garg, C. Löding, P. Madhusudan, und D. Neider, "Learning Universally Quantified Invariants of Linear Data Structures" CoRR, vol. abs/1302.2273, 2013.
    @article{DBLP:journals/corr/abs-1302-2273,
      author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      title = {Learning Universally Quantified Invariants of Linear Data Structures},
      journal = {CoRR},
      volume = {abs/1302.2273},
      year = {2013},
      url = {http://arxiv.org/abs/1302.2273},
      eprinttype = {arXiv},
      eprint = {1302.2273},
      timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1302-2273.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    P. Garg, C. Löding, P. Madhusudan, und 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, pp. 813-829.
    @inproceedings{DBLP:conf/cav/0001LMN13,
      author = {Pranav Garg and Christof L{\"{o}}ding and P. Madhusudan and Daniel Neider},
      editor = {Natasha Sharygina and Helmut Veith},
      title = {Learning Universally Quantified Invariants of Linear Data Structures},
      booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {8044},
      pages = {813--829},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-39799-8\_57},
      doi = {10.1007/978-3-642-39799-8\_57},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/cav/0001LMN13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider und 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, pp. 16-31.
    @inproceedings{DBLP:conf/nfm/NeiderJ13,
      author = {Daniel Neider and Nils Jansen},
      editor = {Guillaume Brat and Neha Rungta and Arnaud Venet},
      title = {Regular Model Checking Using Solver Technologies and Automata Learning},
      booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7871},
      pages = {16--31},
      publisher = {Springer},
      year = {2013},
      url = {https://doi.org/10.1007/978-3-642-38088-4\_2},
      doi = {10.1007/978-3-642-38088-4\_2},
      timestamp = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/nfm/NeiderJ13.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Neider, R. Rabinovich, und 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, pp. 169-182.
    @inproceedings{DBLP:journals/corr/abs-1210-2457,
      author = {Daniel Neider and Roman Rabinovich and Martin Zimmermann},
      editor = {Marco Faella and Aniello Murano},
      title = {Down the Borel Hierarchy: Solving Muller Games via Safety Games},
      booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012},
      series = {{EPTCS}},
      volume = {96},
      pages = {169--182},
      year = {2012},
      url = {https://doi.org/10.4204/EPTCS.96.13},
      doi = {10.4204/EPTCS.96.13},
      timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-1210-2457.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    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, pp. 354-369.
    @inproceedings{DBLP:conf/atva/Neider12,
      author = {Daniel Neider},
      editor = {Supratik Chakraborty and Madhavan Mukund},
      title = {Computing Minimal Separating DFAs and Regular Invariants Using {SAT} and {SMT} Solvers},
      booktitle = {Automated Technology for Verification and Analysis - 10th International Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {7561},
      pages = {354--369},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-33386-6\_28},
      doi = {10.1007/978-3-642-33386-6\_28},
      timestamp = {Tue, 14 May 2019 10:00:49 +0200},
      biburl = {https://dblp.org/rec/conf/atva/Neider12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    M. Leucker und 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, pp. 524-538.
    @inproceedings{DBLP:conf/isola/LeuckerN12,
      author = {Martin Leucker and Daniel Neider},
      editor = {Tiziana Margaria and Bernhard Steffen},
      title = {Learning Minimal Deterministic Automata from Inexperienced Teachers},
      booktitle = {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}},
      series = {Lecture Notes in Computer Science},
      volume = {7609},
      pages = {524--538},
      publisher = {Springer},
      year = {2012},
      url = {https://doi.org/10.1007/978-3-642-34026-0\_39},
      doi = {10.1007/978-3-642-34026-0\_39},
      timestamp = {Tue, 14 May 2019 10:00:41 +0200},
      biburl = {https://dblp.org/rec/conf/isola/LeuckerN12.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    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, pp. 306-320.
    @inproceedings{DBLP:conf/atva/Neider11,
      author = {Daniel Neider},
      editor = {Tevfik Bultan and Pao{-}Ann Hsiung},
      title = {Small Strategies for Safety Games},
      booktitle = {Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6996},
      pages = {306--320},
      publisher = {Springer},
      year = {2011},
      url = {https://doi.org/10.1007/978-3-642-24372-1\_22},
      doi = {10.1007/978-3-642-24372-1\_22},
      timestamp = {Tue, 14 May 2019 10:00:49 +0200},
      biburl = {https://dblp.org/rec/conf/atva/Neider11.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Bollig, J. -, C. Kern, M. Leucker, D. Neider, und 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, pp. 360-364.
    @inproceedings{DBLP:conf/cav/BolligKKLNP10,
      author = {Benedikt Bollig and Joost{-}Pieter Katoen and Carsten Kern and Martin Leucker and Daniel Neider and David R. Piegdon},
      editor = {Tayssir Touili and Byron Cook and Paul B. Jackson},
      title = {libalf: The Automata Learning Framework},
      booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {6174},
      pages = {360--364},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-14295-6\_32},
      doi = {10.1007/978-3-642-14295-6\_32},
      timestamp = {Tue, 14 May 2019 10:00:43 +0200},
      biburl = {https://dblp.org/rec/conf/cav/BolligKKLNP10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    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, pp. 222-230.
    @inproceedings{DBLP:conf/wia/Neider10,
      author = {Daniel Neider},
      editor = {Michael Domaratzki and Kai Salomaa},
      title = {Reachability Games on Automatic Graphs},
      booktitle = {Implementation and Application of Automata - 15th International Conference, {CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers},
      series = {Lecture Notes in Computer Science},
      volume = {6482},
      pages = {222--230},
      publisher = {Springer},
      year = {2010},
      url = {https://doi.org/10.1007/978-3-642-18098-9\_24},
      doi = {10.1007/978-3-642-18098-9\_24},
      timestamp = {Tue, 14 May 2019 10:00:41 +0200},
      biburl = {https://dblp.org/rec/conf/wia/Neider10.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • D. Neider, "Lernverfahren für Automaten über linearisierten XML-Dokumenten" Inform. Spektrum, vol. 32, iss. 3, pp. 255-259, 2009.
    @article{DBLP:journals/insk/Neider09,
      author = {Daniel Neider},
      title = {Lernverfahren f{\"{u}}r Automaten {\"{u}}ber linearisierten XML-Dokumenten},
      journal = {Inform. Spektrum},
      volume = {32},
      number = {3},
      pages = {255--259},
      year = {2009},
      url = {https://doi.org/10.1007/s00287-008-0265-x},
      doi = {10.1007/s00287-008-0265-x},
      timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/insk/Neider09.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    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, pp. 23-26.
    @inproceedings{DBLP:conf/informatiktage/Neider08,
      author = {Daniel Neider},
      title = {Learning Automata for Streaming {XML} Documents},
      booktitle = {Informatiktage 2008 - Fachwissenschaftlicher Informatik-Kongress, 14. und 15. M{\"{a}}rz 2008, {B-IT} Bonn-Aachen International Center for Information Technology in Bonn},
      series = {{LNI}},
      volume = {{S-6}},
      pages = {23--26},
      publisher = {{GI}},
      year = {2008},
      timestamp = {Mon, 20 Dec 2021 17:01:37 +0100},
      biburl = {https://dblp.org/rec/conf/informatiktage/Neider08.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    M. Möllers, E. Müller, D. Neider, und 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, pp. 113-115.
    @inproceedings{DBLP:conf/informatiktage/MollersMNS06,
      author = {Maximilian M{\"{o}}llers and Emmanuel M{\"{u}}ller and Daniel Neider and Leszek Seweryn},
      title = {MediSign - Secure Pharmaceutic Distribution},
      booktitle = {Informatiktage 2006 - Fachwissenschaftlicher Informatik-Kongress, 31. M{\"{a}}rz und 1. April 2006, {B-IT} Bonn-Aachen International Center for Information Technology Bonn},
      series = {{LNI}},
      volume = {{S-3}},
      pages = {113--115},
      publisher = {{GI}},
      year = {2006},
      timestamp = {Mon, 20 Dec 2021 17:01:16 +0100},
      biburl = {https://dblp.org/rec/conf/informatiktage/MollersMNS06.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Stand: 03.06.2022)