Algorithmic improvisation for dependable intelligent autonomy (invited talk)

DOI10.4230/LIPICS.FSTTCS.2020.5MaRDI QIDQ6839905zbMATH OpenFDO

Authors Sanjit A. Seshia

Publication date 23 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2020.5

zbMATH Keywords

formal methodsformal specificationmachine learningplanningrandomized algorithmssynthesissynthetic data generationtestingverification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cites work

• Control improvisation
• Reactive control improvisation

This page was built for publication: Algorithmic improvisation for dependable intelligent autonomy (invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6839905)