The following pages link to Logics in Artificial Intelligence (Q5394113):
Displaying 5 items.
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
