Sign in

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.

Werner DammStefan DischHardi HungarSwen JacobsJun PangFlorian PigorschChristoph SchollUwe WaldmannBoris Wirtz
Published in: ATVA (2007)
Keyphrases
  • state space
  • hybrid systems
  • search space
  • computational intelligence
  • orders of magnitude
  • artificial intelligence
  • reinforcement learning
  • black box