On History-Deterministic One-Counter Nets.

Aditya Prakash K. S. Thejaswini

Published in: FoSSaCS (2023)

Keyphrases

information systems
historical information
real time
decision making
databases
genetic algorithm
black box
relaxation algorithm
deterministic domains