2.2k citations
- Commonwealth Scientific and Industrial Research OrganisationAU600 papers
- UNSW SydneyAU267 papers
- Australian National UniversityAU251 papers
- The University of MelbourneAU94 papers
- The University of SydneyAU74 papers
- Monash UniversityAU58 papers
- University of Technology SydneyAU43 papers
- Queensland University of TechnologyAU42 papers
- The University of AdelaideAU40 papers
- The University of QueenslandAU39 papers
- Macquarie UniversityAU36 papers
- RMIT UniversityAU30 papers
10 papers · 1 filter
On Synchronous and Asynchronous Interaction in Distributed Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
When considering distributed systems, it is a central issue how to deal with interactions between components. In this paper, we investigate the paradigms of synchronous and asynchr…
Symmetric and Asymmetric Asynchronous Interaction
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inher…
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
On the Possibility of Learning in Reactive Environments with Arbitrary Dependence
Daniil Ryabko, Marcus Hutter
We address the problem of reinforcement learning in which observations may exhibit an arbitrary form of stochastic dependence on past observations and actions, i.e. environments mo…
Temporal Difference Updating without a Learning Rate
Marcus Hutter, Shane Legg
We derive an equation for temporal difference learning from statistical principles. Specifically, we start with the variational principle and then bootstrap to produce an updating…
Characterising Testing Preorders for Finite Probabilistic Processes
Yuxin Deng, Matthew Hennessy, Rob van Glabbeek +1
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with tw…