Investigação
CordisBench mostra onde a verificação deve substituir o raciocínio do agente
O CordisBench mostra que o raciocínio sobre o ciclo de vida perde fiabilidade com a complexidade quando as consequências testadas podem ser calculadas exatamente.