Resumo
A certificação de propriedades dos processos temporais é crucial para o desenvolvimento e utilização das novas tecnologias quânticas. Este projeto desenvolverá técnicas para a análise e identificação de processos clássicos e quânticos incompatíveis com modelos markovianos e causais. Processos quânticos podem possuir correlações temporais não-triviais através de interações entre sistema e …