The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems
New York City, USA, 14th July 2019
https://fomlas2019.wixsite.com/fomlas2019
Abstracts deadline: April 22, 2019
Full papers deadline: April 27, 2019
-----------------------------------------------------------------------
The 2nd workshop on Formal Methods for ML-Enabled Autonomous Systems
will be co-located with CAV this year (July 14, New York City).
Some topics of interest:
* Formal specifications for systems with ML components
* SAT-based and SMT-based methods for analyzing systems with ML components
* Mixed-integer Linear Programming and optimization-based methods for
the verification of systems with ML components
* Testing approaches to ML components
* Statistical approaches to the verification of systems with ML components
* Approaches for enhancing the explainability of ML-based systems
* Techniques for analyzing hybrid systems with ML components
For additional details, visit the website below
https://fomlas2019.wixsite.com/fomlas2019
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
