Labeled_Transition_Systems

LTS_Semantics

HML_SRBB

Energy_Games

Energy

Spectroscopy_Game

Expressiveness_Price

Distinction_Implies_Winning_Budgets

Strategy_Formulas

Silent_Step_Spectroscopy

Weak_Traces

Eta_Bisimilarity

Branching_Bisimilarity