On the (un-)decidability of model checking resource-bounded agents

Vorschau

Zitieren

Zitierform:

Bulling, Nils / Farwer, Berndt: On the (un-)decidability of model checking resource-bounded agents. Clausthal-Zellerfeld 2010. Institut für Informatik.

Zugriffsstatistik

Gesamt:
Volltextzugriffe:
Metadatenansicht:
12 Monate:
Volltextzugriffe:
Metadatenansicht:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export