DYVERSE with Y of dYnamical

    Research output: Other contributionpeer-review

    Original languageEnglish
    TypeConference abstract and invited talk
    Media of outputAbstract and presentation
    Place of PublicationIV International Symposium of the Society of Spanish Researchers in the United Kingdom (SRUK/CERU). University College London, London, United Kingdom, 9–10 July, 2016.
    Publication statusPublished - 9 Jul 2016


    • Hybrid systems
    • Formal methods of computer science
    • Formal verification
    • neuroscience
    • Control system
    • Dynamical systems
    • Complex networks

    Cite this