The following pages link to MetateM: An introduction (Q1904643):
Displaying 8 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
