The following pages link to Alessio Lomuscio (Q598544):
Displaying 6 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- The Scientific Contribution of Marek Sergot (Q2900467) (← links)
