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/icaa2/icaa2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/icaa2/AvilaC23,
author = {Richard D. Avila and
Jason B. Clark},
title = {Architecting Systems for Assured Autonomy},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {91--96},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00021},
doi = {10.1109/ICAA58325.2023.00021},
timestamp = {Tue, 22 Aug 2023 14:35:54 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/AvilaC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/BradleyAB23,
author = {Taylor Bradley and
Elie Alhajjar and
Nathaniel D. Bastian},
title = {Novelty Detection in Network Traffic: Using Survival Analysis for
Feature Identification},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {11--18},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00010},
doi = {10.1109/ICAA58325.2023.00010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/BradleyAB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/CodyB23,
author = {Tyler Cody and
Peter A. Beling},
title = {Cascading Negative Transfer in Networks of Machine Learning Systems},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {141--148},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00028},
doi = {10.1109/ICAA58325.2023.00028},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/CodyB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/CummingsB23,
author = {Mary L. Cummings and
Ben Bauchwitz},
title = {Driver Alerting in ADAS-Equipped Cars: {A} Field Study},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {29--33},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00012},
doi = {10.1109/ICAA58325.2023.00012},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/CummingsB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/FeatherP23,
author = {Martin S. Feather and
Alessandro Pinto},
title = {Assurance for Autonomy - JPL's past research, lessons learned, and
future directions},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {97--105},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00022},
doi = {10.1109/ICAA58325.2023.00022},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/FeatherP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/GeninDKSKKSMP23,
author = {Daniel Genin and
Elizabeth Dietrich and
Yanni Kouskoulas and
Aurora C. Schmidt and
Marin Kobilarov and
Kapil D. Katyal and
Shahriar Sefati and
Subhransu Mishra and
Ivan Papusha},
title = {A Safety Fallback Controller for Improved Collision Avoidance},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {129--136},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00026},
doi = {10.1109/ICAA58325.2023.00026},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/GeninDKSKKSMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/HaastrupHSE23,
author = {Alexander Haastrup and
Muhammad Hataba and
Ahmed B. T. Sherif and
Mohamed Elsersy},
title = {Privacy-Aware Blockchain-Based {AV} Parking System Registration Scheme},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {153--159},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00030},
doi = {10.1109/ICAA58325.2023.00030},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/HaastrupHSE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/HsuF23,
author = {Jocelyn Hsu and
Gregory Falco},
title = {Space Booby Traps: Hacking Back and Assured Cyber Deterrence in Space},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {115--118},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00024},
doi = {10.1109/ICAA58325.2023.00024},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/HsuF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/Humphrey23,
author = {Laura Humphrey},
title = {Example Applications of Formal Methods to Aerospace and Autonomous
Systems},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {67--75},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00018},
doi = {10.1109/ICAA58325.2023.00018},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/Humphrey23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/JhaJLBVN23,
author = {Susmit Jha and
Sumit Kumar Jha and
Patrick Lincoln and
Nathaniel D. Bastian and
Alvaro Velasquez and
Sandeep Neema},
title = {Dehallucinating Large Language Models Using Formal Methods Guided
Iterative Prompting},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {149--152},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00029},
doi = {10.1109/ICAA58325.2023.00029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaa2/JhaJLBVN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/KaurJRSL23,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Oleg Sokolsky and
Insup Lee},
title = {Predicting Out-of-Distribution Performance of Deep Neural Networks
Using Model Conformance},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {19--28},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00011},
doi = {10.1109/ICAA58325.2023.00011},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/KaurJRSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/KraskeSBS23,
author = {Benjamin D. Kraske and
Anshu Saksena and
Anna L. Buczak and
Zachary N. Sunberg},
title = {Explanation Through Reward Model Reconciliation using {POMDP} Tree
Search},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {137--140},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00027},
doi = {10.1109/ICAA58325.2023.00027},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/KraskeSBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/LefcourtF23,
author = {Samuel Lefcourt and
Gregory Falco},
title = {{AI} Forensics},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {106--114},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00023},
doi = {10.1109/ICAA58325.2023.00023},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/LefcourtF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/LuRCSL23,
author = {Pengyuan Lu and
Ivan Ruchkin and
Matthew Cleaveland and
Oleg Sokolsky and
Insup Lee},
title = {Causal Repair of Learning-Enabled Cyber-Physical Systems},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00009},
doi = {10.1109/ICAA58325.2023.00009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/LuRCSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/PintoCS23,
author = {Alessandro Pinto and
Anthony Corso and
Edward Schmerling},
title = {Leveraging Compositional Methods for Modeling and Verification of
an Autonomous Taxi System},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {34--43},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00013},
doi = {10.1109/ICAA58325.2023.00013},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/PintoCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/PotteigerDMPFNDGO23,
author = {Bradley Potteiger and
Tom Dignan and
Amber Mills and
Ed Pavelka and
Caleb P. Frey and
Ben Nathan and
Milki Dagne and
Violet Garibaldi and
Ben Otter},
title = {Live Virtual Constructive Environment for Assuring the Safety and
Security of Complex Autonomous Vehicles},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {53--56},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00015},
doi = {10.1109/ICAA58325.2023.00015},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/PotteigerDMPFNDGO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/PotteigerK23,
author = {Nicholas Potteiger and
Xenofon D. Koutsoukos},
title = {Safe Explainable Agents for Autonomous Navigation using Evolving Behavior
Trees},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {44--52},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00014},
doi = {10.1109/ICAA58325.2023.00014},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/PotteigerK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/PrucnalS23,
author = {Joshua D. Prucnal and
David Scheidt},
title = {Watchdog For Assuring {COLREG} Compliance of Autonomous Unmanned Surface
Vessels That Include Artificial Intelligence},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {86--90},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00020},
doi = {10.1109/ICAA58325.2023.00020},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/PrucnalS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/SchumegMW23,
author = {Benjamin Schumeg and
Franklin Marotta and
Benjamin Werner},
title = {Proposed V-Model for Verification, Validation, and Safety Activities
for Artificial Intelligence},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {61--66},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00017},
doi = {10.1109/ICAA58325.2023.00017},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/SchumegMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/SerranoNW23,
author = {Christopher R. Serrano and
Aleksey Nogin and
Michael A. Warren},
title = {Assured Point Cloud Perception},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {119--128},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00025},
doi = {10.1109/ICAA58325.2023.00025},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/SerranoNW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/SikkaSRDJ23,
author = {Karan Sikka and
Indranil Sur and
Anirban Roy and
Ajay Divakaran and
Susmit Jha},
title = {Detecting Trojaned DNNs Using Counterfactual Attributions},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {76--85},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00019},
doi = {10.1109/ICAA58325.2023.00019},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/SikkaSRDJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/TrivediBZP23,
author = {Ananya Trivedi and
Salah Bazzi and
Mark Zolotas and
Taskin Padir},
title = {Probabilistic Dynamic Modeling and Control for Skid-Steered Mobile
Robots in Off-Road Environments},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {57--60},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00016},
doi = {10.1109/ICAA58325.2023.00016},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaa2/TrivediBZP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaa2/2023,
title = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023},
doi = {10.1109/ICAA58325.2023},
isbn = {979-8-3503-2601-7},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/2023.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-06-18 09:22 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:
