Refine Results
Years
  1. 2005 (19)
Open access
  1. no (19)
Peer reviewed
  1. no (17)
  2. yes (2)
Invited
  1. no (19)

Results (19)

  • Automatic rectangular refinement of affine hybrid systems
    Conference paper
  • Quantifying similarities between timed systems
    Conference paper
  • Semiperfect-information games
    Conference paper
  • Mean-payoff parity games
    Conference paper
  • Games with secure equilibria
    Conference paper
  • Permissive interfaces
    Conference paper
  • Interface-based design
    Conference paper