Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results

We present experimental results relating to a bounded model checking algorithm applied to the attacking generals problem. We use interpreted systems semantics and a logical language comprising knowledge and time.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Lomuscio, A., Łasica, T., Penczek, W.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Artificial intelligence
Computation Tree Logic
Computer science
control theory
systems
Epistemic Logic
Exact sciences and technology
Learning and adaptive systems
Model Check
Propositional Formula
Propositional Variable
Software
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present experimental results relating to a bounded model checking algorithm applied to the attacking generals problem. We use interpreted systems semantics and a logical language comprising knowledge and time.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-45133-4_10