Udi Boker

Novos modelos melhoram a tomada de decisão com fatores de desconto flexíveis.

O estudo foca em usar CTL+Sync com Autômatos de Um Contador para verificação de modelos.

Explorando como o determinismo histórico e a simulação justa se relacionam na teoria dos autômatos.