Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Formal synthesis of partially-observable cyber-physical systems


    Beteiligte:
    Jahanshahi, Niloofar (Autor:in) / Zamani, Majid (Akademische:r Betreuer:in)

    Erscheinungsdatum :

    2023


    Format / Umfang :

    1 Online-Ressource


    Anmerkungen:



    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Instrument failure detection in partially observable systems

    Hertel, J.E. / Clark, R.N. | Tema Archiv | 1982



    Formal enforcement of mission assurance properties in cyber-physical systems

    Harper, Scott / Graf, Jonathan / Capone, Michael A. et al. | IEEE | 2017


    Decision-Making for Autonomous Systems in Partially Observable Environments

    Ibekwe, Henry I. 1981- | BASE | 2013

    Freier Zugriff

    Robot planning in partially observable continuous domains

    Porta, Josep M. / Spaan, Matthijs T. J. / Vlassis, Nikos | BASE | 2005

    Freier Zugriff