Timed Strategies for Real-Time Rewrite Theories.

Carlos Olarte Peter Csaba Ölveczky

Published in: CoRR (2024)

Keyphrases

real time
petri net
real time systems
vision system
online auctions
neural network
bayesian networks
search algorithm
mobile robot
high speed
computational model