Deciding branching hyperproperties for real time systems.

Nabarun Deka Minjian Zhang Rohit Chadha Mahesh Viswanathan

Published in: CoRR (2024)

Keyphrases

real time systems
real time
distributed systems
embedded systems
branch and bound
timing constraints
mission critical
search tree
architectural model
embedded real time systems
real time database systems
optimal solution
machine learning
real time embedded
object oriented programming language
anytime algorithms