PAGODA
From MaRDI portal
Cited in
(30)- PiDuce
- Reo
- 2OBJ
- Twenty years of rewriting logic
- Formal modeling of evolving self-adaptive systems
- Pirlo
- PVeStA
- VESTA
- Reoservice
- Viptos
- KLAIM
- LIME
- K-Maude
- CARIBOO
- Jolie
- vlogsl
- ITACA
- A formal framework for interactive agents
- Comparing three coordination models: Reo, ARC, and RRD
- Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
- SCEL
- SymPLFIED
- ContextJ
- Which soft constraints do you prefer?
- A homage to Martin Wirsing
- Abstract constraint data types
- Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
- A white box perspective on behavioural adaptation
- ReSpecT
- Comparing three coordination models: Reo, ARC, and PBRD
This page was built for software: PAGODA