Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/aisola/aisola2023.bht:"
download as .bib file
@proceedings{DBLP:conf/aisola/2023,
editor = {Bernhard Steffen},
title = {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},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-46002-9},
doi = {10.1007/978-3-031-46002-9},
isbn = {978-3-031-46001-2},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aisola/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AdeltBHNR23,
author = {Julius Adelt and
Sebastian Bruch and
Paula Herber and
Mathis Niehage and
Anne Remke},
editor = {Bernhard Steffen},
title = {Shielded Learning for Resilience and Performance Based on Statistical
Model Checking in Simulink},
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 = {94--118},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_6},
doi = {10.1007/978-3-031-46002-9\_6},
timestamp = {Sun, 07 Jan 2024 14:24:23 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AdeltBHNR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AhrendtH23,
author = {Wolfgang Ahrendt and
Klaus Havelund},
editor = {Bernhard Steffen},
title = {{AI} Assisted Programming - (AISoLA 2023 Track Introduction)},
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 = {351--354},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_22},
doi = {10.1007/978-3-031-46002-9\_22},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AhrendtH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/AlQadasiFB23,
author = {Hamzah Al{-}Qadasi and
Yli{\`{e}}s Falcone and
Saddek Bensalem},
editor = {Bernhard Steffen},
title = {DeepAbstraction++: Enhancing Test Prioritization Performance via Combined
Parameterized Boxes},
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 = {77--93},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_5},
doi = {10.1007/978-3-031-46002-9\_5},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/AlQadasiFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BelznerGW23,
author = {Lenz Belzner and
Thomas Gabor and
Martin Wirsing},
editor = {Bernhard Steffen},
title = {Large Language Model Assisted Software Engineering: Prospects, Challenges,
and a Case Study},
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 = {355--374},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_23},
doi = {10.1007/978-3-031-46002-9\_23},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BelznerGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BensalemCHHWZ23,
author = {Saddek Bensalem and
Chih{-}Hong Cheng and
Wei Huang and
Xiaowei Huang and
Changshun Wu and
Xingyu Zhao},
editor = {Bernhard Steffen},
title = {What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled
Safety-Critical Systems},
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 = {55--76},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_4},
doi = {10.1007/978-3-031-46002-9\_4},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BensalemCHHWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BensalemKNLNABCDEFHHKKPPPSTW23,
author = {Saddek Bensalem and
Panagiotis Katsaros and
Dejan Nickovic and
Brian Hsuan{-}Cheng Liao and
Ricardo Ruiz Nolasco and
Mohamed Abd El Salam Ahmed and
Tewodros A. Beyene and
Filip Cano and
Antoine Delacourt and
Hasan Esen and
Alexandru Forrai and
Weicheng He and
Xiaowei Huang and
Nikolaos Kekatos and
Bettina K{\"{o}}nighofer and
Michael Paulitsch and
Doron Peled and
Matthieu Ponchant and
Lev Sorokin and
Son Tong and
Changshun Wu},
editor = {Bernhard Steffen},
title = {Continuous Engineering for Trustworthy Learning-Enabled Autonomous
Systems},
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 = {256--278},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_15},
doi = {10.1007/978-3-031-46002-9\_15},
timestamp = {Sat, 17 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BensalemKNLNABCDEFHHKKPPPSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BjornerJCGSPK23,
author = {Katrine Bj{\o}rner and
Samuel Judson and
Filip Cano C{\'{o}}rdoba and
Drew Goldman and
Nicholas Shoemaker and
Ruzica Piskac and
Bettina K{\"{o}}nighofer},
editor = {Bernhard Steffen},
title = {Formal {XAI} via Syntax-Guided Synthesis},
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 = {119--137},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_7},
doi = {10.1007/978-3-031-46002-9\_7},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BjornerJCGSPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BrorholtJLLS23,
author = {Asger Horn Brorholt and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Florian Lorber and
Christian Schilling},
editor = {Bernhard Steffen},
title = {Shielded Reinforcement Learning for Hybrid Systems},
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 = {33--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_3},
doi = {10.1007/978-3-031-46002-9\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/BrorholtJLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BuschNBS23,
author = {Daniel Busch and
Gerrit Nolte and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Bernhard Steffen},
title = {ChatGPT in the Loop: {A} Natural Language Extension for Domain-Specific
Modeling Languages},
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 = {375--390},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_24},
doi = {10.1007/978-3-031-46002-9\_24},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BuschNBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/CohenP23,
author = {Itay Cohen and
Doron Peled},
editor = {Bernhard Steffen},
title = {Integrating Distributed Component-Based Systems Through Deep Reinforcement
Learning},
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 = {395--417},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_26},
doi = {10.1007/978-3-031-46002-9\_26},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/CohenP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/DubslaffSWBFKL23,
author = {Clemens Dubslaff and
Jonas Schulz and
Patrick Wienh{\"{o}}ft and
Christel Baier and
Frank H. P. Fitzek and
Stefan J. Kiebel and
Johannes Lehmann},
editor = {Bernhard Steffen},
title = {Towards a Formal Account on Negative Latency},
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 = {188--214},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_11},
doi = {10.1007/978-3-031-46002-9\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/DubslaffSWBFKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ForetsS23,
author = {Marcelo Forets and
Christian Schilling},
editor = {Bernhard Steffen},
title = {The Inverse Problem for Neural Networks},
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 = {241--255},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_14},
doi = {10.1007/978-3-031-46002-9\_14},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ForetsS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HowarH23,
author = {Falk Howar and
Hardi Hungar},
editor = {Bernhard Steffen},
title = {Safe {AI} in Autonomous Vehicles - Track at AISoLA 2023},
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 = {421--425},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_27},
doi = {10.1007/978-3-031-46002-9\_27},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/HowarH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/JansenKKL23,
author = {Nils Jansen and
Bettina K{\"{o}}nighofer and
Jan Kret{\'{\i}}nsk{\'{y}} and
Kim G. Larsen},
editor = {Bernhard Steffen},
title = {Welcome Remarks from AISoLA 2023/Track {C2} Chairs},
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 = {25--32},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_2},
doi = {10.1007/978-3-031-46002-9\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vecos/JansenKKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Johansson23,
author = {Moa Johansson},
editor = {Bernhard Steffen},
title = {What Can Large Language Models Do for Theorem Proving and Formal Methods?},
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 = {391--394},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_25},
doi = {10.1007/978-3-031-46002-9\_25},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Johansson23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovR23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini},
editor = {Bernhard Steffen},
title = {Benchmark: Remaining Useful Life Predictor for Aircraft Equipment},
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 = {299--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_18},
doi = {10.1007/978-3-031-46002-9\_18},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovRCCS23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini and
Rohit Chandrahas and
Shashidhar Reddy Chandupatla and
Rajdeep Sawant},
editor = {Bernhard Steffen},
title = {Benchmark: Object Detection for Maritime Search and Rescue},
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 = {305--310},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_19},
doi = {10.1007/978-3-031-46002-9\_19},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovRCCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/KirovRGC23,
author = {Dmitrii Kirov and
Simone Fulvio Rollini and
Luigi Di Guglielmo and
Darren D. Cofer},
editor = {Bernhard Steffen},
title = {Formal Verification of a Neural Network Based Prognostics System for
Aircraft Equipment},
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 = {225--240},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_13},
doi = {10.1007/978-3-031-46002-9\_13},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/KirovRGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/Lee23,
author = {Edward A. Lee},
editor = {Bernhard Steffen},
title = {Deep Neural Networks, Explanations, and Rationality},
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 = {11--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_1},
doi = {10.1007/978-3-031-46002-9\_1},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/Lee23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LevyYK23,
author = {Natan Levy and
Raz Yerushalmi and
Guy Katz},
editor = {Bernhard Steffen},
title = {gRoMA: {A} Tool for Measuring the Global Robustness of Deep Neural
Networks},
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 = {160--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_9},
doi = {10.1007/978-3-031-46002-9\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LevyYK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LopezJ23,
author = {Diego Manzanas Lopez and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Empirical Analysis of Benchmark Generation for the Verification of
Neural Network Image Classifiers},
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 = {331--347},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_21},
doi = {10.1007/978-3-031-46002-9\_21},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LopezJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/LuoMHX23,
author = {Yonggang Luo and
Jinyan Ma and
Sanchu Han and
Lecheng Xie},
editor = {Bernhard Steffen},
title = {Benchmarks: Semantic Segmentation Neural Network Verification and
Objection Detection Neural Network Verification in Perceptions Tasks
of Autonomous Driving},
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 = {279--290},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_16},
doi = {10.1007/978-3-031-46002-9\_16},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/LuoMHX23.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, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/NeiderJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/PalLJ23,
author = {Neelanjana Pal and
Seojin Lee and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Benchmark: Formal Verification of Semantic Segmentation Neural Networks},
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 = {311--330},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_20},
doi = {10.1007/978-3-031-46002-9\_20},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/PalLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/ParmentierLC23,
author = {Maxime Parmentier and
Axel Legay and
Firmin Chenoy},
editor = {Bernhard Steffen},
title = {Optimized Smart Sampling},
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 = {171--187},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_10},
doi = {10.1007/978-3-031-46002-9\_10},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/ParmentierLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/RobinetteLJ23,
author = {Preston K. Robinette and
Diego Manzanas Lopez and
Taylor T. Johnson},
editor = {Bernhard Steffen},
title = {Benchmark: Neural Network Malware Classification},
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 = {291--298},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_17},
doi = {10.1007/978-3-031-46002-9\_17},
timestamp = {Sun, 07 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/RobinetteLJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TapplerA23,
author = {Martin Tappler and
Bernhard K. Aichernig},
editor = {Bernhard Steffen},
title = {Differential Safety Testing of Deep {RL} Agents Enabled by Automata
Learning},
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 = {138--159},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_8},
doi = {10.1007/978-3-031-46002-9\_8},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TapplerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-22 11:00 CEST from data curated 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:
