Login / Signup
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.
Filippo Bonchi
Ana Sokolova
Valeria Vignudelli
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
theoretical framework
databases
building blocks
search engine
information systems
reinforcement learning
search algorithm
distributed systems
intelligent systems
computer systems
complex systems
mathematical models
formal methods
formal languages