Mahsa Shirmohammadi

Una panoramica delle strategie e degli obiettivi nei giochi stocastici a due giocatori.

Esplorare le funzioni e le applicazioni degli automi ad albero nell'informatica.

Una panoramica sui gruppi di matrici, i problemi di orbite e le loro implicazioni computazionali.

Nuovi metodi migliorano la raggiungibilità dei sistemi consapevoli delle risorse.

Avanzando la generazione automatica di invarianti di ciclo per una verifica software affidabile.

Questa ricerca esplora soluzioni per equazioni polinomiali e le loro implicazioni nella matematica.