Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues
archive-ouverte.unige.ch