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