TY  - RPRT
AU  - Martín Sánchez, Óscar
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/138.1
AB  - We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more...
LA  - eng
KW  - State/transition structures
KW  - TLR*
KW  - Model checking
KW  - Temporal logicKripke structuresLTS
KW  - Temporal logic
KW  - Kripke structures
KW  - LTS
TI  - Egalitarian state-transition systems (extended version)
TY  - technical report
ER  -