default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel Neider
@article{DBLP:journals/jossw/RahaRFN24,
author = {Ritam Raha and
Rajarshi Roy and
Nathana{\"{e}}l Fijalkow and
Daniel Neider},
title = {Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear
Temporal Logic},
journal = {J. Open Source Softw.},
volume = {9},
number = {93},
pages = {5052},
year = {2024},
url = {https://doi.org/10.21105/joss.05052},
doi = {10.21105/JOSS.05052},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jossw/RahaRFN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/YeKHBBLNR24,
author = {Lina Ye and
Igor Khmelnitsky and
Serge Haddad and
Beno{\^{\i}}t Barbot and
Benedikt Bollig and
Martin Leucker and
Daniel Neider and
Rajarshi Roy},
title = {Analyzing Robustness of Angluin's L{\textdollar}{\^{}}*{\textdollar}
Algorithm in Presence of Noise},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:22)2024},
doi = {10.46298/LMCS-20(1:22)2024},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/YeKHBBLNR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clear2/CorazzaAN024,
author = {Jan Corazza and
Hadi Partovi Aria and
Daniel Neider and
Zhe Xu},
editor = {Francesco Locatello and
Vanessa Didelez},
title = {Expediting Reinforcement Learning by Incorporating Knowledge About
Temporal Causality in the Environment},
booktitle = {Causal Learning and Reasoning, 1-3 April 2024, Los Angeles, California,
{USA}},
series = {Proceedings of Machine Learning Research},
volume = {236},
pages = {643--664},
publisher = {{PMLR}},
year = {2024},
url = {https://proceedings.mlr.press/v236/corazza24a.html},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clear2/CorazzaAN024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BordaisNR24,
author = {Benjamin Bordais and
Daniel Neider and
Rajarshi Roy},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Learning Branching-Time Properties in {CTL} and {ATL} via Constraint
Solving},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {304--323},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_16},
doi = {10.1007/978-3-031-71162-6\_16},
timestamp = {Tue, 17 Sep 2024 14:10:04 +0200},
biburl = {https://dblp.org/rec/conf/fm/BordaisNR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/WesthofenNJN24,
author = {Lukas Westhofen and
Christian Neurohr and
Jean Christoph Jung and
Daniel Neider},
editor = {Nathaniel Benz and
Divya Gopinath and
Nija Shi},
title = {Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive
Queries},
booktitle = {{NASA} Formal Methods - 16th International Symposium, {NFM} 2024,
Moffett Field, CA, USA, June 4-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14627},
pages = {314--321},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-60698-4\_18},
doi = {10.1007/978-3-031-60698-4\_18},
timestamp = {Tue, 04 Jun 2024 15:39:38 +0200},
biburl = {https://dblp.org/rec/conf/nfm/WesthofenNJN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WesthofenNJN24,
author = {Lukas Westhofen and
Christian Neurohr and
Jean Christoph Jung and
Daniel Neider},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Answering Temporal Conjunctive Queries over Description Logic Ontologies
for Situation Recognition in Complex Operational Domains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {167--187},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_10},
doi = {10.1007/978-3-031-57246-3\_10},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WesthofenNJN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RahaRFNP24,
author = {Ritam Raha and
Rajarshi Roy and
Nathana{\"{e}}l Fijalkow and
Daniel Neider and
Guillermo A. P{\'{e}}rez},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14500},
pages = {264--288},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50521-8\_13},
doi = {10.1007/978-3-031-50521-8\_13},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RahaRFNP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-07069,
author = {Shayan Meshkat Alsadat and
Jean{-}Rapha{\"{e}}l Gaglione and
Daniel Neider and
Ufuk Topcu and
Zhe Xu},
title = {Using Large Language Models to Automate and Expedite Reinforcement
Learning with Reward Machine},
journal = {CoRR},
volume = {abs/2402.07069},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07069},
doi = {10.48550/ARXIV.2402.07069},
eprinttype = {arXiv},
eprint = {2402.07069},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-14265,
author = {Faried Abu Zaid and
Daniel Neider and
Mustafa Yal{\c{c}}iner},
title = {VeriFlow: Modeling Distributions for Neural Network Verification},
journal = {CoRR},
volume = {abs/2406.14265},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.14265},
doi = {10.48550/ARXIV.2406.14265},
eprinttype = {arXiv},
eprint = {2406.14265},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-14265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-19890,
author = {Benjamin Bordais and
Daniel Neider and
Rajarshi Roy},
title = {Learning Branching-Time Properties in {CTL} and {ATL} via Constraint
Solving},
journal = {CoRR},
volume = {abs/2406.19890},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.19890},
doi = {10.48550/ARXIV.2406.19890},
eprinttype = {arXiv},
eprint = {2406.19890},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-19890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-04486,
author = {Benjamin Bordais and
Daniel Neider and
Rajarshi Roy},
title = {The Complexity of Learning Temporal Properties},
journal = {CoRR},
volume = {abs/2408.04486},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.04486},
doi = {10.48550/ARXIV.2408.04486},
eprinttype = {arXiv},
eprint = {2408.04486},
timestamp = {Fri, 13 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-04486.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KhmelnitskyNRXBBFHLY23,
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},
title = {Analysis of recurrent neural networks via property-directed verification
of surrogate models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {341--354},
year = {2023},
url = {https://doi.org/10.1007/s10009-022-00684-w},
doi = {10.1007/S10009-022-00684-W},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KhmelnitskyNRXBBFHLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0002GBN0T23,
author = {Rajarshi Roy and
Jean{-}Rapha{\"{e}}l Gaglione and
Nasim Baharisangari and
Daniel Neider and
Zhe Xu and
Ufuk Topcu},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Learning Interpretable Temporal Properties from Positive Examples
Only},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6507--6515},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25800},
doi = {10.1609/AAAI.V37I5.25800},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0002GBN0T23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LutzNR23,
author = {Simon Lutz and
Daniel Neider and
Rajarshi Roy},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Specification Sketching for Linear Temporal Logic},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14216},
pages = {26--48},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45332-8\_2},
doi = {10.1007/978-3-031-45332-8\_2},
timestamp = {Tue, 24 Oct 2023 16:55:54 +0200},
biburl = {https://dblp.org/rec/conf/atva/LutzNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdmake/PaliwalRGBNDTX23,
author = {Yash Paliwal and
Rajarshi Roy and
Jean{-}Rapha{\"{e}}l Gaglione and
Nasim Baharisangari and
Daniel Neider and
Xiaoming Duan and
Ufuk Topcu and
Zhe Xu},
editor = {Andreas Holzinger and
Peter Kieseberg and
Federico Cabitza and
Andrea Campagner and
A Min Tjoa and
Edgar R. Weippl},
title = {Reinforcement Learning with Temporal-Logic-Based Causal Diagrams},
booktitle = {Machine Learning and Knowledge Extraction - 7th {IFIP} {TC} 5, {TC}
12, {WG} 8.4, {WG} 8.9, {WG} 12.9 International Cross-Domain Conference,
{CD-MAKE} 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14065},
pages = {123--140},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40837-3\_8},
doi = {10.1007/978-3-031-40837-3\_8},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cdmake/PaliwalRGBNDTX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MuranoNZ23,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Robust Alternating-Time Temporal Logic},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {796--813},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_54},
doi = {10.1007/978-3-031-43619-2\_54},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MuranoNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/NeiderJ23,
author = {Daniel Neider and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Track {C1:} Safety Verification of Deep Neural Networks (DNNs)},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {217--224},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_12},
doi = {10.1007/978-3-031-46002-9\_12},
timestamp = {Sat, 08 Jun 2024 13:13:50 +0200},
biburl = {https://dblp.org/rec/conf/vecos/NeiderJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05904,
author = {Fabian Hartung and
Billy Joe Franks and
Tobias Michels and
Dennis Wagner and
Philipp Liznerski and
Steffen Reithermann and
Sophie Fellenz and
Fabian Jirasek and
Maja Rudolph and
Daniel Neider and
Heike Leitte and
Chen Song and
Benjamin Kl{\"{o}}pper and
Stephan Mandt and
Michael Bortz and
Jakob Burger and
Hans Hasse and
Marius Kloft},
title = {Deep Anomaly Detection on Tennessee Eastman Process Data},
journal = {CoRR},
volume = {abs/2303.05904},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05904},
doi = {10.48550/ARXIV.2303.05904},
eprinttype = {arXiv},
eprint = {2303.05904},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14111,
author = {Simon Lutz and
Florian Wittbold and
Simon Dierl and
Benedikt B{\"{o}}ing and
Falk Howar and
Barbara K{\"{o}}nig and
Emmanuel M{\"{u}}ller and
Daniel Neider},
title = {Interpretable Anomaly Detection via Discrete Optimization},
journal = {CoRR},
volume = {abs/2303.14111},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14111},
doi = {10.48550/ARXIV.2303.14111},
eprinttype = {arXiv},
eprint = {2303.14111},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08266,
author = {Lina Ye and
Igor Khmelnitsky and
Serge Haddad and
Beno{\^{\i}}t Barbot and
Benedikt Bollig and
Martin Leucker and
Daniel Neider and
Rajarshi Roy},
title = {Analyzing Robustness of Angluin's L\({}^{\mbox{*}}\) Algorithm in
Presence of Noise},
journal = {CoRR},
volume = {abs/2306.08266},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08266},
doi = {10.48550/ARXIV.2306.08266},
eprinttype = {arXiv},
eprint = {2306.08266},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-13732,
author = {Yash Paliwal and
Rajarshi Roy and
Jean{-}Rapha{\"{e}}l Gaglione and
Nasim Baharisangari and
Daniel Neider and
Xiaoming Duan and
Ufuk Topcu and
Zhe Xu},
title = {Reinforcement Learning with Temporal-Logic-Based Causal Diagrams},
journal = {CoRR},
volume = {abs/2306.13732},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.13732},
doi = {10.48550/ARXIV.2306.13732},
eprinttype = {arXiv},
eprint = {2306.13732},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-13732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10885,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
title = {Robust Alternating-Time Temporal Logic},
journal = {CoRR},
volume = {abs/2307.10885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10885},
doi = {10.48550/ARXIV.2307.10885},
eprinttype = {arXiv},
eprint = {2307.10885},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-08320,
author = {Dominik Hintersdorf and
Lukas Struppek and
Daniel Neider and
Kristian Kersting},
title = {Defending Our Privacy With Backdoors},
journal = {CoRR},
volume = {abs/2310.08320},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.08320},
doi = {10.48550/ARXIV.2310.08320},
eprinttype = {arXiv},
eprint = {2310.08320},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-08320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-13778,
author = {Rajarshi Roy and
Daniel Neider},
title = {Inferring Properties in Computation Tree Logic},
journal = {CoRR},
volume = {abs/2310.13778},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.13778},
doi = {10.48550/ARXIV.2310.13778},
eprinttype = {arXiv},
eprint = {2310.13778},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-13778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17410,
author = {Ritam Raha and
Rajarshi Roy and
Nathana{\"{e}}l Fijalkow and
Daniel Neider and
Guillermo A. P{\'{e}}rez},
title = {Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic},
journal = {CoRR},
volume = {abs/2310.17410},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17410},
doi = {10.48550/ARXIV.2310.17410},
eprinttype = {arXiv},
eprint = {2310.17410},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11403,
author = {Benjamin Bordais and
Daniel Neider and
Rajarshi Roy},
title = {Learning Temporal Properties is NP-hard},
journal = {CoRR},
volume = {abs/2312.11403},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11403},
doi = {10.48550/ARXIV.2312.11403},
eprinttype = {arXiv},
eprint = {2312.11403},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NeiderWZ22,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
title = {Robust, expressive, and quantitative linear temporal logics: Pick
any two for free},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104810},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104810},
doi = {10.1016/J.IC.2021.104810},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NeiderWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GaglioneNRTX22,
author = {Jean{-}Rapha{\"{e}}l Gaglione and
Daniel Neider and
Rajarshi Roy and
Ufuk Topcu and
Zhe Xu},
title = {MaxSAT-based temporal logic inference from noisy data},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {3},
pages = {427--442},
year = {2022},
url = {https://doi.org/10.1007/s11334-022-00444-8},
doi = {10.1007/S11334-022-00444-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/GaglioneNRTX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AnevlavisPNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CorazzaGN22,
author = {Jan Corazza and
Ivan Gavran and
Daniel Neider},
title = {Reinforcement Learning with Stochastic Reward Machines},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {6429--6436},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i6.20594},
doi = {10.1609/AAAI.V36I6.20594},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CorazzaGN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BolligLN22,
author = {Benedikt Bollig and
Martin Leucker and
Daniel Neider},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {A Survey of Model Learning Techniques for Recurrent Neural Networks},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {81--97},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_5},
doi = {10.1007/978-3-031-15629-8\_5},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BolligLN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/StruppekHNK22,
author = {Lukas Struppek and
Dominik Hintersdorf and
Daniel Neider and
Kristian Kersting},
title = {Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash},
booktitle = {FAccT '22: 2022 {ACM} Conference on Fairness, Accountability, and
Transparency, Seoul, Republic of Korea, June 21 - 24, 2022},
pages = {58--69},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531146.3533073},
doi = {10.1145/3531146.3533073},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fat/StruppekHNK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/XieKN22,
author = {Xuan Xie and
Kristian Kersting and
Daniel Neider},
editor = {Luc De Raedt},
title = {Neuro-Symbolic Verification of Deep Neural Networks},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {3622--3628},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/503},
doi = {10.24963/IJCAI.2022/503},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/XieKN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NayakNZ22,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Robustness-by-Construction Synthesis: Adapting to the Environment
at Runtime},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {149--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_10},
doi = {10.1007/978-3-031-19849-6\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NayakNZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NayakNRZ22,
author = {Satya Prakash Nayak and
Daniel Neider and
Rajarshi Roy and
Martin Zimmermann},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Robust Computation Tree Logic},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {538--556},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_29},
doi = {10.1007/978-3-031-06773-0\_29},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NayakNRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/NeiderR22,
author = {Daniel Neider and
Rajarshi Roy},
title = {Expanding the Horizon of Linear Temporal Logic Inference for Explainability},
booktitle = {30th {IEEE} International Requirements Engineering Conference Workshops,
{RE} 2022 - Workshops, Melbourne, Australia, August 15-19, 2022},
pages = {103--107},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/REW56159.2022.00026},
doi = {10.1109/REW56159.2022.00026},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/NeiderR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RahaRFN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10315,
author = {Igor Khmelnitsky and
Serge Haddad and
Lina Ye and
Beno{\^{\i}}t Barbot and
Benedikt Bollig and
Martin Leucker and
Daniel Neider and
Rajarshi Roy},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {81--96},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.6},
doi = {10.4204/EPTCS.370.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@article{DBLP:journals/corr/abs-2204-10912,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
title = {Robustness-by-Construction Synthesis: Adapting to the Environment
at Runtime},
journal = {CoRR},
volume = {abs/2204.10912},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10912},
doi = {10.48550/ARXIV.2204.10912},
eprinttype = {arXiv},
eprint = {2204.10912},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06722,
author = {Simon Lutz and
Daniel Neider and
Rajarshi Roy},
title = {Specification sketching for Linear Temporal Logic},
journal = {CoRR},
volume = {abs/2206.06722},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06722},
doi = {10.48550/ARXIV.2206.06722},
eprinttype = {arXiv},
eprint = {2206.06722},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02650,
author = {Rajarshi Roy and
Jean{-}Rapha{\"{e}}l Gaglione and
Nasim Baharisangari and
Daniel Neider and
Zhe Xu and
Ufuk Topcu},
title = {Learning Interpretable Temporal Properties from Positive Examples
Only},
journal = {CoRR},
volume = {abs/2209.02650},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02650},
doi = {10.48550/ARXIV.2209.02650},
eprinttype = {arXiv},
eprint = {2209.02650},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-00916,
author = {Jean{-}Rapha{\"{e}}l Gaglione and
Rajarshi Roy and
Nasim Baharisangari and
Daniel Neider and
Zhe Xu and
Ufuk Topcu},
title = {Learning Temporal Logic Properties: an Overview of Two Recent Methods},
journal = {CoRR},
volume = {abs/2212.00916},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.00916},
doi = {10.48550/ARXIV.2212.00916},
eprinttype = {arXiv},
eprint = {2212.00916},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-00916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MascleNSTWZ21,
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 = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {170--204},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00398-4},
doi = {10.1007/S10703-022-00398-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/MascleNSTWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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://doi.org/10.1609/aaai.v35i10.17096},
doi = {10.1609/AAAI.V35I10.17096},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NeiderGGT0021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 01 Jul 2024 10:37:52 +0200},
biburl = {https://dblp.org/rec/conf/atva/GaglioneNRTX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdmake/XuWONT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {https://ceur-ws.org/Vol-2987/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/Boing0NM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/NayakN021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 van 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, 07 Nov 2022 21:23:28 +0100},
biburl = {https://dblp.org/rec/conf/icgi/BarbotBFHKLN0Y21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BaharisangariGN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NeiderWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/NeiderMSGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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{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 = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MarkgrafHLNN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/SamuelMSN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/EhlersGN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MascleNSTW020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SamuelMSN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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{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 = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/NeiderT020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/Boing0MN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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{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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/NeiderM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AnevlavisNPT19,
author = {Tzanis Anevlavis and
Daniel Neider and
Matthew Philippe 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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AnevlavisNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/NeiderS0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BenediktKKN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/EzudheenND0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/NeiderSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/NeiderSVK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/AnevlavisPNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/NeiderW018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NeiderG18,
author = {Daniel Neider and
Ivan Gavran},
editor = {Nikolaj S. 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 = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NeiderG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Neider0MS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DallalNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/TabuadaN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/0001NMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/LodingMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/NeiderSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/NeiderT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/0001LMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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}
}
@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}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NeiderR014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001LMN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/0001LMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NeiderJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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{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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Neider12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LeuckerN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Neider11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eefsw/Neider11,
author = {Daniel Neider},
editor = {Bernhard Rumpe and
Horst Lichter},
title = {Development of libALF},
booktitle = {Entwicklung und Evolution von Forschungssoftware: Tagungsband des
Workshops, Rolduc, November 2011},
series = {Aachener Informatik-Berichte, Software Engineering},
volume = {14},
pages = {13--18},
publisher = {Shaker},
year = {2011},
timestamp = {Wed, 03 Aug 2022 10:49:00 +0200},
biburl = {https://dblp.org/rec/conf/eefsw/Neider11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BolligKKLNP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/Neider10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/Neider09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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{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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
