Christel Baier

Este artigo fala sobre como usar certificados e testemunhas para verificar consultas multi-objetivo em MDPs.

Um olhar sobre como funções de peso podem melhorar a análise de sistemas dinâmicos lineares.

Esse artigo apresenta uma nova perspectiva sobre a análise de cadeias de Markov através de transformadores de distribuição.

Explore como Processos de Decisão de Markov ajudam a gerenciar resultados incertos com considerações de risco.

Aprenda como a bisimulação pode facilitar a verificação de sistemas complexos.

Aprenda como os preditores melhoram a confiabilidade dos sistemas adaptativos modernos.