output
20102026
most citedLearning Latent Dynamics for Planning from Pixels

339 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011 · cs.SEShow all

2 papers · 2 filters

cs.SE2011★ 7 cited

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

Christian Krause, Holger Giese

The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the…

cs.SE2011★ 3 cited

Maximal Structuring of Acyclic Process Models

Artem Polyvyanyy, Luciano García-Bañuelos, Dirk Fahland +1

This paper contributes to the solution of the problem of transforming a process model with an arbitrary topology into an equivalent structured process model. In particular, this pa…