Synthesis of Transition Systems from Quantum Logics.

Luca Bernardinello Carlo Ferigato Lucia Pomello Adrián Puerto Aubel

Published in: Fundam. Informaticae (2017)

Keyphrases

optimal policy
transition systems
finite state
temporal logic
modal logic
model checking
concurrent systems
practical reasoning
formal specification
object oriented
distributed systems
control flow
reactive systems