|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernhard Steffen (eds.) |
Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![Springer, 978-3-031-46001-2 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen |
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 375-390, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Itay Cohen 0001, Doron Peled |
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 395-417, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Diego Manzanas Lopez, Taylor T. Johnson |
Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 331-347, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Parmentier, Axel Legay, Firmin Chenoy |
Optimized Smart Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 171-187, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant |
Benchmark: Object Detection for Maritime Search and Rescue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 305-310, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer |
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 225-240, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Natan Levy, Raz Yerushalmi, Guy Katz |
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 160-170, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrii Kirov, Simone Fulvio Rollini |
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 299-304, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Falk Howar, Hardi Hungar |
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 421-425, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Tappler, Bernhard K. Aichernig |
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 138-159, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edward A. Lee |
Deep Neural Networks, Explanations, and Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 11-21, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson |
Benchmark: Neural Network Malware Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 291-298, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Taylor T. Johnson |
Track C1: Safety Verification of Deep Neural Networks (DNNs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 217-224, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer |
Formal XAI via Syntax-Guided Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 119-137, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lenz Belzner, Thomas Gabor, Martin Wirsing |
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 355-374, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Chih-Hong Cheng, Wei Huang 0035, Xiaowei Huang 0001, Changshun Wu, Xingyu Zhao 0001 |
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 55-76, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem |
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 77-93, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Moa Johansson |
What Can Large Language Models Do for Theorem Proving and Formal Methods? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 391-394, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling 0001 |
Shielded Reinforcement Learning for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 33-54, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Klaus Havelund |
AI Assisted Programming - (AISoLA 2023 Track Introduction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 351-354, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann 0003 |
Towards a Formal Account on Negative Latency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 188-214, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Neelanjana Pal, Seojin Lee, Taylor T. Johnson |
Benchmark: Formal Verification of Semantic Segmentation Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 311-330, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 94-118, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang 0001, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 256-278, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Forets, Christian Schilling 0001 |
The Inverse Problem for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 241-255, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Bettina Könighofer, Jan Kretínský, Kim G. Larsen |
Welcome Remarks from AISoLA 2023/Track C2 Chairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 25-32, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yonggang Luo, Jinyan Ma, Sanchu Han, Lecheng Xie |
Benchmarks: Semantic Segmentation Neural Network Verification and Objection Detection Neural Network Verification in Perceptions Tasks of Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 279-290, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|