|
|
|
|
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  |
AISoLA  |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Itay Cohen 0001, Doron Peled |
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Parmentier, Axel Legay, Firmin Chenoy |
Optimized Smart Sampling. |
AISoLA |
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. |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natan Levy, Raz Yerushalmi, Guy Katz |
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrii Kirov, Simone Fulvio Rollini |
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Hardi Hungar |
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Tappler, Bernhard K. Aichernig |
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Deep Neural Networks, Explanations, and Rationality. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson |
Benchmark: Neural Network Malware Classification. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neider, Taylor T. Johnson |
Track C1: Safety Verification of Deep Neural Networks (DNNs). |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenz Belzner, Thomas Gabor, Martin Wirsing |
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem |
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Moa Johansson |
What Can Large Language Models Do for Theorem Proving and Formal Methods? |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Klaus Havelund |
AI Assisted Programming - (AISoLA 2023 Track Introduction). |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelanjana Pal, Seojin Lee, Taylor T. Johnson |
Benchmark: Formal Verification of Semantic Segmentation Neural Networks. |
AISoLA |
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. |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Forets, Christian Schilling 0001 |
The Inverse Problem for Neural Networks. |
AISoLA |
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. |
AISoLA |
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. |
AISoLA |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license