Cited in
(12)- Programming and verifying component ensembles
- Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
- Automated and distributed statistical analysis of economic agent-based models
- Klava
- MetaKlaim
- A formal approach to the engineering of domain-specific distributed systems
- MultiVeStA
- PAGODA
- SCELlight
- BioWar
- SCEL
- ASAP3
This page was built for software: Pirlo
