Pages that link to "Item:Q1610622"

The following pages link to Compositional verification of multi-agent systems in temporal multi-epistemic logic (Q1610622):

Displaying 3 items.

• A Compositional Automata-based Approach for Model Checking Multi-Agent Systems (Q2873614) (← links)
• Metric temporal reasoning with less than two clocks (Q2901203) (← links)
• Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)