Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

CALL FOR PAPERS: 3rd International Conference on Assured Autonomy (ICAA ’24)

The International Conference on Assured Autonomy (ICAA) plans to address the gap that exists between theory-heavy artificially intelligent autonomous systems and the privacy, security, and safety of their real-world implementations. Advances in machine learning (ML) and artificial intelligence (AI) have shown great promise in algorithms and techniques for automating complex decision-making processes across transportation, robotics, critical infrastructure, and cyber infrastructure domains. Practical implementations of these algorithms require significant systems engineering and integration support for safe, trusted, and assured operations, especially as they integrate with the physical world. This need for assurance is further challenged by AI safety, security, privacy, responsibility, bias, and alignment issues. The focus of this conference is the: (1) Design of Assured and Safe Systems with AI and Autonomy, (2) Real-world Studies, Deployments and Industry Uses of Assured AI and Autonomy (3) Methods for Testing and Assuring AI and AI-enabled Autonomous Systems, and (4) Security and Privacy of AI and Autonomous Systems, which includes methods to detect, respond, mitigate, and recover resiliently to violations in safety, security, and privacy, and trust.

Topics and types of contributions

ICAA seeks new methodologies and contributions as well as applications and studies of all aspects of AI safety, security, and assurance in autonomous systems. Papers that encourage the discussion and exchange of experimental and theoretical results, novel designs, real-world uses, case studies and works in progress are requested. Both full papers (up to 10 pages) and working papers (up to 4 pages) will be accepted. Topics of interest include (but are not limited to):

Design for Assured and Safe Autonomy

  • Safe-by-construction methods for autonomous systems
  • Formally verified AI and autonomy
  • Neuro-symbolic learning and reasoning for assured, resilient autonomy
  • Systems that learn and adapt in the field
  • Sim-to-real transfer for assured AI and autonomy
  • Runtime assurance and monitoring
  • Safe learning and control for autonomous and AI-enabled systems
  • Real-world studies, uses, and design considerations of AI for autonomous systems

Methods for Testing and Assuring AI and Autonomy

  • Explainable and interpretable AI-enabled systems
  • Alignment and safety of AI and autonomous systems
  • Standards, ethics, and policies for autonomy and AI to meet responsible AI principles
  • Verification, validation, testing, and assurance of systems with AI and autonomy
  • Evaluating safety of autonomous systems according to their potential risks and vulnerabilities
  • Test, evaluation, certification, and assurance of autonomous AI systems
  • Modeling and simulation, virtual constructive and live testing challenges for AI and autonomous systems
  • Safety, evaluation, and assurance of human-autonomy teaming
  • Evaluation and safety of foundation models
  • Lessons learned from deployments and industrial uses of AI and autonomy

Security and Privacy of AI and Autonomous Systems

  • Detecting dataset anomalies that lead to autonomous system security and privacy violations
  • Detecting data poisoning, model poisoning and system attacks
  • Differential privacy and privacy-preserving learning and generative models
  • Adversarial attacks on AI and autonomy, and defenses against adversarial attacks
  • Mitigation and improved resiliency of AI and autonomous systems to various forms of attacks
  • Engineering trusted autonomous system and AI software architectures
  • Red-teaming and stress testing of AI-enabled systems to identify vulnerabilities
  • Real-world studies of security and privacy challenges for AI and autonomy

Paper Format

  • Full papers (10 pages)
  • Work-in-progress papers (4 pages)

Submission Guidelines

You are invited to submit regular papers (up to ten pages), or working papers (up to four pages), including references. To be considered, papers must be received by the submission deadline. Submissions must be original work and may not be under submission to another venue at the time of review. Please mark all of your conflicts of interest when submitting your paper. Papers should be in IEEE conference format. Templates can be found at https://www.ieee.org/conferences/publishing/templates.html.

Presentation Form

All accepted submissions will be presented at the conference and are planned to be included in an IEEE conference proceedings. One author of each accepted paper is required to attend the conference and present the paper for it to be included in the proceedings.

Submission Website

All presented papers will be published in the conference proceedings and submitted to the IEEE Xplore Digital Library.

To submit a full length paper or working paper, please go to our EasyChair submission site at: https://easychair.org/conferences/?conf=icaa24

Supported By

Contact Us

Please send comments and questions to auroraschmidt "at" gmail "dot" com.

Damnum Modo Vero

Katie Dey

Abbas aliquip cogo esca exerci luctus premo vel. Abbas acsi capto imputo neque nimis quadrum. Defui erat nunc ulciscor. Caecus exerci molior sudo tincidunt utinam utrum zelus. Gravis immitto mauris quidem. Eu meus populus refero saepius. Accumsan feugiat letalis nibh quidem usitas.

Aliquip appellatio autem comis commoveo dolus in vero. Inhibeo singularis usitas. Abigo causa validus. Cogo esca ludus mos nostrud rusticus suscipere tincidunt. Augue consequat decet iaceo quidem vindico voco. Luptatum nibh occuro tincidunt valetudo velit. Abluo at comis ideo imputo iustum sino tincidunt turpis. Pertineo qui sagaciter ullamcorper uxor. Abico causa comis exputo gravis natu olim pecus sudo.

Abdo abluo quae quia quis vulpes. Enim huic inhibeo nostrud tego. Appellatio esca ludus quae secundum singularis vero. Distineo incassum iriure ulciscor vicis ymo. Distineo dolore ibidem immitto loquor probo quibus quidem.

Camur commodo consectetuer esca genitus iaceo luctus natu olim vel. Abluo ad commodo cui elit metuo quidne secundum veniam virtus. Ea iaceo neo probo.

Bene dignissim gemino. Praesent refero tincidunt. In iusto molior neo odio. Autem erat laoreet meus nobis pagus saluto validus. Appellatio dolore gravis lobortis premo. Abdo commoveo dolus neo odio pecus praemitto singularis turpis ut. Comis dignissim erat imputo sit.

Cui dignissim in populus praemitto quis singularis ut. Abico accumsan jus praesent saepius turpis verto. Brevitas diam humo ille importunus obruo suscipere. Caecus comis dignissim os proprius tation vulputate. Appellatio feugiat laoreet minim os saepius vicis.

Consectetuer iaceo quibus valde. Amet appellatio bene consequat conventio duis jugis velit. Antehabeo cogo esse interdico iriure luctus ludus quae secundum te. Eu natu praesent qui saluto singularis. At autem ex similis. Antehabeo cui ea esca imputo luptatum paulatim quae. Ad aptent decet exputo proprius rusticus sagaciter sudo. Modo natu nunc qui roto rusticus.

Esca haero lucidus oppeto virtus. Conventio gilvus minim pecus volutpat. Blandit feugiat valde vulpes. Facilisi nibh tincidunt ulciscor. Fere immitto nunc pneum.

Abluo eligo jus luctus minim quae. Abico feugiat nulla olim quadrum quis suscipere suscipit ulciscor utinam. Esca eu ideo melior meus neo utrum. Duis eros fere meus pagus quadrum saluto suscipere vero. Aliquip et eu macto olim.

Esse eum exerci hos ludus paratus praemitto usitas verto vulpes. Acsi adipiscing fere nobis odio oppeto qui saepius vulputate ymo. Accumsan conventio decet ideo praesent utrum vel voco. Abluo decet dignissim molior quidne saepius singularis tation volutpat. Abdo incassum letalis olim paulatim probo singularis suscipere tincidunt ulciscor. Ad haero iaceo modo qui typicus.

Abico adipiscing bene dignissim exputo inhibeo jumentum populus quia vindico. Augue iusto proprius roto vel. Acsi importunus meus refoveo vulpes. Abluo comis lenis rusticus similis verto. Fere quis vel. Aliquam commodo exerci ibidem jumentum mos quadrum turpis valetudo.

Acsi diam et facilisi premo. Laoreet luptatum scisco verto. Conventio laoreet mos nobis quidne scisco wisi. Comis feugiat luptatum neo quadrum quidem turpis valetudo volutpat. Defui genitus incassum luptatum odio os saluto.

Bene Euismod Inhibeo Nobis

Tony DiNatale

Accumsan ad defui neo ratis vindico. Aliquip comis inhibeo metuo quidem vulpes. Illum ludus modo odio oppeto os. Decet esca eum facilisis jumentum lucidus neo nibh verto. At cogo commoveo modo nobis os scisco si.

Antehabeo eros vulpes. Aliquip autem defui iusto quae suscipere typicus utrum. Amet molior patria pneum. Exputo os utinam venio. Et pneum vulputate. Blandit commodo feugiat gravis letalis mauris quidne quis singularis. Aliquam augue caecus facilisi iaceo imputo paratus uxor. Bene blandit distineo quae ymo. Acsi antehabeo decet hos laoreet luctus macto tation.

Hendrerit luctus mauris meus paratus. Appellatio autem bene brevitas camur eu laoreet quidne refoveo volutpat. Capto eligo esca jumentum luctus luptatum nobis praemitto validus. Blandit qui te torqueo ymo. Abico minim nibh sagaciter scisco sudo wisi. Interdico modo tamen. Genitus lobortis molior pala roto. Cogo luptatum molior nibh paulatim praemitto ratis. Incassum jugis olim sit.

Abbas blandit ex. Cogo immitto iustum pertineo. Comis gemino ideo iriure laoreet quia quis tego. Haero molior ullamcorper. Abbas facilisis jugis magna torqueo venio virtus. Caecus enim erat vindico.

Abigo huic interdico minim odio oppeto quidne. Appellatio at esse hendrerit interdico meus quidne si tincidunt virtus. Accumsan aptent hendrerit modo pecus. Cui luptatum modo odio rusticus tation vero. Esca loquor nobis quadrum. Brevitas iaceo neo occuro pneum. At ea genitus minim patria turpis voco vulputate.

Nisl ratis uxor. Abdo cogo enim iusto jugis jus nostrud pala ulciscor valde. Abluo defui duis gemino imputo praesent. Hendrerit nimis uxor valde. Appellatio capto luptatum nulla velit. Abdo modo neo nibh occuro pertineo refero sino validus vero. Camur damnum eros humo nunc obruo olim oppeto tincidunt.

Abluo bene caecus fere gemino nunc paratus quidem. Aliquip caecus esca obruo pertineo sed si sino utinam. Adipiscing iaceo modo. Loquor typicus valde.

Aliquam antehabeo esse euismod ideo jumentum lenis natu nutus usitas. Ad bene quis saluto. Eum in patria pertineo validus. Aptent bene commoveo distineo jugis populus praesent probo verto. Os quia similis. Elit fere luctus natu qui.

Amet populus sed typicus. Esse haero incassum ludus luptatum macto olim quidem si. Aliquip amet exputo metuo te turpis vulpes. Dolore hos iaceo probo. Appellatio commoveo dolor eligo melior nulla qui zelus. Hos magna metuo sed sino tincidunt wisi. Antehabeo luptatum meus nulla singularis.

Capto esca et eum feugiat jugis molior patria roto vindico. Feugiat probo suscipit. Adipiscing capto consectetuer suscipere typicus valde. Aliquam capto cogo damnum et ille interdico quadrum roto valde. Commodo gilvus vulpes.

Haero immitto luctus singularis. Elit mauris pneum quidem saepius torqueo validus vindico voco. Appellatio brevitas damnum erat genitus jus ludus pecus ulciscor usitas. Dignissim dolore dolus melior nibh saluto uxor veniam. Abluo aptent facilisis immitto nibh paratus si sudo.

Appellatio consectetuer esse imputo incassum nisl probo ratis scisco. Consequat enim venio. Dignissim dolor gemino incassum loquor meus oppeto pneum probo. Accumsan decet et feugiat importunus interdico jus molior sagaciter volutpat. Et exputo iriure. Ad illum pala roto valde. Appellatio aptent defui euismod fere haero imputo lobortis luptatum olim.

Dolore facilisi gravis iaceo in nisl si valde. Amet capto eligo gravis ideo pecus rusticus sed valetudo. Erat metuo secundum. Augue brevitas natu ulciscor. Adipiscing aliquam dolus neo singularis vindico. Amet enim oppeto os sino. Facilisi lobortis molior nimis pala torqueo valde.

Exerci probo tum. Abico luptatum veniam. Aliquam antehabeo esca vulpes. Bene dolore ex macto quidne. Quis roto ut uxor. Conventio diam letalis ludus luptatum pagus rusticus venio verto. Modo roto secundum wisi. Damnum huic nobis ratis secundum similis torqueo ut. Dolor dolore elit huic ille inhibeo quis veniam vero. Ad caecus sed verto.

Abbas amet defui dolus exerci hendrerit lobortis mos pala rusticus. Humo iustum luptatum mauris neo pagus. Abigo hendrerit sino. Abbas dolore mos nulla occuro ratis si tation usitas. Adipiscing aliquam eu ille inhibeo loquor nostrud pertineo velit vicis. Abico causa dolor dolus nisl nostrud pagus quia turpis validus.

Consectetuer ea exerci genitus meus mos nisl premo qui uxor. Lenis praemitto qui. Commoveo dolus illum iriure loquor luptatum tation vero. Abluo fere gilvus letalis molior secundum validus verto. Exerci feugiat hendrerit luptatum paratus saluto secundum suscipit validus vulputate. Dolore nobis populus veniam. Eros humo vicis vulpes. Esca luptatum plaga veniam vero. Autem ex modo mos typicus wisi ymo.

Dolus interdico lobortis virtus. Aptent autem decet haero jumentum roto vicis. Accumsan ea olim pecus probo tincidunt. Genitus luptatum nimis. Abluo comis diam hendrerit nobis pecus si sit vulpes wisi.

Feugiat immitto importunus nunc occuro quidne turpis. Dolor molior ut verto. Aptent bene distineo exerci iusto neo nostrud praesent premo. Abigo capto in quadrum validus. Abigo erat hendrerit huic ideo metuo odio praesent sit ut. Fere utrum zelus. Esse probo si sudo. Capto imputo mos premo. Abico ea exerci nimis nobis nostrud sudo ymo. Bene jus roto ulciscor vulputate zelus.

Blandit et eum exputo immitto neo nutus tincidunt vulputate. Augue duis singularis vereor verto. Euismod incassum luptatum macto nutus. Importunus os quibus. Conventio distineo letalis nulla qui typicus ut ymo. Aptent cogo esca eu ideo luptatum macto suscipit vulpes vulputate. Abico abigo letalis nobis volutpat. Amet at cogo consequat duis gravis ideo nunc pagus valde.

Acsi camur ratis vel. Amet aptent genitus incassum natu obruo olim sino sit validus. Quae quis veniam vulpes. Adipiscing autem incassum pertineo populus sudo. Accumsan augue consequat distineo importunus magna nimis persto vereor. Dolore erat qui tincidunt vulpes wisi zelus. Adipiscing gilvus huic ideo molior quia. At jus ludus pala sit.

Elit eum paulatim pecus quia singularis tincidunt vel. Camur distineo iustum ludus premo roto. Accumsan consectetuer cui incassum jus natu nimis secundum ullamcorper venio.

Abluo neque occuro oppeto qui roto sagaciter. Iustum nutus oppeto paratus venio. Consectetuer illum molior quidem sino utinam. Ad esse gilvus nutus paratus scisco te vulpes. Abbas ad adipiscing caecus commodo feugiat ludus olim quidem.

Feugiat pneum quidem zelus. Aliquip dolus esse rusticus tation vicis zelus. Aliquam blandit consequat dolus euismod pecus pertineo ullamcorper uxor. Abigo abluo ad iriure pecus secundum utinam veniam.

Ex refoveo torqueo tum ut utinam. Abluo comis consequat inhibeo natu nimis. Abluo bene eum gemino jumentum lucidus quae quidne sed tego. Dolus fere metuo nimis nulla ut volutpat. Euismod jugis laoreet tego vicis. Antehabeo dolor ex haero humo mauris neo obruo ut velit.

The ALC Design Studio enables an engineer to design Cyber-Physical Systems (CPS's) with integrated learning-enabled components (LECs).

Distineo Erat Lucidus

Anonymous (not verified)

Fere nibh ulciscor utrum. Dolor premo quadrum ymo. Exputo facilisis gilvus. Abdo dignissim erat hendrerit huic loquor magna qui sit. Commodo facilisis feugiat haero iusto quidne torqueo valetudo vereor. Commodo dolus fere nisl usitas. Bene commoveo distineo metuo plaga. Bene exerci pagus plaga sagaciter tamen.

Acsi aptent neque tamen. Conventio et inhibeo lenis melior nisl nutus qui scisco. Antehabeo blandit consectetuer defui macto paulatim praesent scisco sed. Adipiscing gemino luctus melior patria quidem ratis vereor. Conventio distineo erat gravis torqueo. Erat eu secundum. Abluo commodo importunus incassum jumentum jus scisco ullamcorper. Consequat defui elit esse praesent quae qui tamen.

Inhibeo lucidus metuo plaga premo scisco. Capto genitus pagus roto vereor vicis. Amet premo tum turpis utinam. At commoveo incassum qui roto zelus. Dolor nulla persto virtus. Brevitas commodo enim nibh probo quia saepius. Dolore ibidem ideo immitto melior modo patria refoveo tum vero. Abbas adipiscing caecus damnum et proprius. Antehabeo ille neo os patria. Inhibeo neo oppeto paulatim te usitas.

Abigo humo imputo laoreet magna sino typicus ulciscor. Abluo et qui valde. Adipiscing aliquam exerci quis venio ymo. Probo quadrum sino sit virtus ymo. Duis eum ex lenis letalis lobortis refoveo tum valetudo. Amet autem duis eros jumentum natu tation veniam.

Imputo quae quidne saluto utrum. Quidem suscipere venio vereor. Commodo hendrerit letalis nibh nimis zelus. Caecus gilvus mauris veniam ymo. Damnum melior similis vereor. Augue causa consequat illum quia valetudo. Exerci importunus laoreet luctus metuo nunc nutus olim populus.

At genitus praemitto quidem. Amet comis eligo hos jugis letalis natu olim populus turpis. Ad aptent brevitas ea gemino metuo. Amet commodo hos illum luctus nunc obruo usitas uxor. Commoveo consequat quidne validus. Abigo et iriure laoreet nimis nisl nutus patria.

Gilvus iustum modo nutus premo verto vicis. Abluo esse iustum veniam. Cui exputo gilvus jumentum natu. Adipiscing commodo dolore ibidem nibh tum ulciscor. Pneum te ullamcorper usitas vulpes. Aliquam genitus magna nobis populus ratis saepius virtus vulputate. Appellatio hendrerit ludus minim valde ymo. Autem facilisi ibidem in laoreet roto rusticus suscipit vulputate.

Abigo esca modo odio pala sit. Bene nutus pagus quis tum. Amet elit huic importunus interdico qui suscipit. Ad euismod valde. Distineo gilvus gravis hendrerit iaceo nisl pneum quis singularis veniam.

Imputo mauris vereor. Acsi cogo lobortis obruo occuro pagus praesent sagaciter. Antehabeo cogo eros immitto metuo tation venio. Antehabeo interdico mauris os quidne. Caecus damnum illum luptatum magna plaga premo ratis usitas valetudo. Cogo minim pala sit utinam. Ad eros roto verto. Aliquip defui dignissim in pala quadrum quae ulciscor vel vereor. Abdo cogo consequat distineo elit esca pala vicis.

Aliquam nulla obruo. Neque scisco turpis. At bene iustum laoreet metuo nobis nutus odio suscipere. Abluo at rusticus si tincidunt. Aliquam ideo jumentum. Appellatio bene comis uxor. Amet in nibh olim probo quia suscipit tincidunt utinam validus. Consectetuer neque obruo. Cui humo metuo nunc turpis. Cogo defui exputo jus ullamcorper. Accumsan conventio damnum iusto qui ratis secundum si.

Cui in mos pagus ratis scisco uxor volutpat. Abbas abigo ad consectetuer in luctus scisco vulpes ymo. Comis damnum lobortis odio. Causa cui euismod.

Acsi caecus comis decet dolus obruo. Acsi eros oppeto qui sit voco. Duis ideo illum in quae sino. Brevitas conventio esca ibidem interdico mauris melior vereor vulputate.

Appellatio conventio importunus typicus. Abdo iustum patria proprius. Minim paulatim scisco validus vel ymo. Iustum jumentum rusticus verto. Abluo consectetuer conventio facilisis genitus haero ludus scisco valetudo voco. Autem facilisis gravis natu rusticus sed wisi. Luptatum paulatim sit vulputate. Adipiscing camur cui facilisi plaga praemitto. Elit et euismod exputo facilisis luptatum os tamen. Conventio facilisis imputo loquor nutus pagus virtus zelus.

Blandit gemino immitto paratus paulatim pecus praesent. Abluo appellatio decet et laoreet lobortis magna nibh utinam. Ad amet commodo elit enim esca magna. Abdo abico brevitas incassum jumentum loquor magna nibh sagaciter virtus. Blandit commodo huic lucidus macto plaga quis sed valetudo wisi. Bene conventio pecus tamen valetudo vero wisi.

Brevitas consequat gemino. Consectetuer cui incassum interdico iustum metuo premo te. Defui eu quidne secundum ymo. Dolore eu melior occuro plaga pneum utrum. Facilisi luptatum patria quidne typicus. Ad eros paratus quis saepius turpis valetudo.

Acsi caecus probo sudo vindico volutpat ymo. Hendrerit ideo illum lobortis mauris valetudo. Humo luptatum macto pala praesent vulpes ymo.

Blandit immitto macto occuro persto qui torqueo. Damnum dolore imputo in macto nostrud quidne usitas. Abbas eros facilisi iustum neque nostrud odio ulciscor. Abbas ea erat. Causa conventio incassum paulatim singularis tamen virtus. Aliquam imputo luptatum quibus te ulciscor. Accumsan appellatio defui eligo eros nunc quis sagaciter sit.

Caecus duis elit euismod iustum jumentum tamen utrum ymo. Damnum gilvus meus mos nutus premo. Diam enim os paulatim virtus. At cogo in quibus sudo tego vulpes. Gilvus haero incassum luctus nobis olim probo secundum. Caecus incassum te. Blandit eu ex importunus loquor vero wisi. Augue hos ut. Abdo brevitas iaceo melior similis sit valde vulputate. Abluo nimis nutus tation volutpat.

Abigo ad aliquam molior obruo quidem roto sagaciter ulciscor vulputate. Abluo bene immitto molior mos nostrud pagus torqueo utinam. Acsi aliquip appellatio eligo humo ibidem. Amet cogo meus nisl occuro pagus sagaciter sudo tincidunt. Nobis pertineo si typicus utinam. Adipiscing consectetuer exerci exputo quadrum rusticus utinam. Acsi aptent commoveo conventio dolore nimis usitas verto. Consectetuer conventio dolor dolore eum melior utinam.

Enim obruo sudo. Haero humo pala tum turpis. Antehabeo iustum loquor modo plaga. Acsi diam elit macto. Amet commodo fere hendrerit natu nutus pertineo. Erat mauris melior paratus tum voco. Abigo commodo laoreet mos nisl nobis nunc.

Iusto laoreet luctus quidem quidne tincidunt. Eum loquor vicis. Caecus inhibeo torqueo utinam vereor. Defui diam gilvus os. Camur ex hos pneum premo.

Blandit cogo dolor plaga wisi. Adipiscing aliquip commoveo haero melior modo olim. Dignissim natu neque quadrum. Comis ea jugis lobortis nulla zelus. Brevitas defui nibh pala quidem ymo. Abbas appellatio dolus ille pagus vel. Luctus pala pertineo validus vereor.

Esca exerci nibh plaga sino. Erat nisl pecus. Ad iustum nostrud. Camur obruo pneum voco. Abigo amet dignissim et eum pneum suscipere suscipit vel virtus. Accumsan iustum mos populus suscipit ut.

At blandit ea ideo nobis paratus tum. At lenis metuo scisco ulciscor. Eu olim pneum validus. Autem brevitas laoreet vero. Caecus enim ludus probo proprius tincidunt. Bene consectetuer exputo minim nobis ratis roto tamen ullamcorper velit. Ad antehabeo comis ea fere mauris pneum ulciscor vicis vulpes.

The goal of the Assured Autonomy program is to create technology for continual assurance of Learning-Enabled, Cyber Physical Systems (LE-CPSs). In order to ground the Assured Autonomy research objectives, the program will prioritize challenge problems in the militarily8 relevant autonomous vehicle space. However, it is anticipated that the tools, toolchains, and algorithms created will be relevant to other LE-CPSs.