Pages that link to "Item:Q2695373"
From MaRDI portal
The following pages link to Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373):
Displaying 3 items.
- Formally verified animation for RoboChart using interaction trees (Q6151624) (← links)
- Modelling and verifying robotic software that uses neural networks (Q6605338) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
