Login / Signup

Fixed-Point Methods in Parametric Model Checking.

Michal KnapikWojciech Penczek
Published in: IEEE Conf. on Intelligent Systems (1) (2014)
Keyphrases
  • fixed point
  • model checking
  • temporal logic
  • image processing
  • finite state
  • symbolic model checking