Filtros de búsqueda

Lista de obras de Christel Baier

A Hardware/Software Stack for Heterogeneous Systems

article published in 2018

Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing

Bisimulation and Simulation Relations for Markov Chains

Comparative branching-time semantics for Markov chains

Decision making improves sperm chemotaxis in the presence of noise.

artículo científico publicado en 2018

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

artículo científico publicado en 2022

Metric semantics for true concurrent real time

article by Joost-Pieter Katoen et al published March 2001 in Theoretical Computer Science

Performability assessment by model checking of Markov reward models

article

Performance evaluation and model checking join forces

article

Principles of Model Checking

computer science textbook

Probabilistic weak simulation is decidable in polynomial time

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda