-
3
-
-
0003962322
-
-
MIT Press, Cambridge, MA
-
Clarke E.M., Grumberg O., and Peled D.A. Model Checking (1999), MIT Press, Cambridge, MA
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
6
-
-
84937557946
-
NuSMV2: An open-source tool for symbolic model checking
-
Proceedings of the 14th International Conference on Computer Aided Verification (CAV'02), Springer-Verlag, Berlin
-
Cimatti A., Clarke E.M., Giunchiglia E., Giunchiglia F., Pistore M., Roveri M., Sebastiani R., and Tacchella A. NuSMV2: An open-source tool for symbolic model checking. Proceedings of the 14th International Conference on Computer Aided Verification (CAV'02). Lecture Notes in Computer Science vol. 2404 (2002), Springer-Verlag, Berlin 359-364
-
(2002)
Lecture Notes in Computer Science
, vol.2404
, pp. 359-364
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
7
-
-
0003730235
-
-
MIT Press, Cambridge, MA
-
Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning about Knowledge (1995), MIT Press, Cambridge, MA
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
8
-
-
10944258530
-
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
-
Lomuscio A., and Sergot M. A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Appl. Logic 2 1 (2004) 93-116
-
(2004)
J. Appl. Logic
, vol.2
, Issue.1
, pp. 93-116
-
-
Lomuscio, A.1
Sergot, M.2
-
10
-
-
0038812256
-
Deontic interpreted systems
-
Lomuscio A., and Sergot M. Deontic interpreted systems. Studia Logica 75 1 (2003) 63-92
-
(2003)
Studia Logica
, vol.75
, Issue.1
, pp. 63-92
-
-
Lomuscio, A.1
Sergot, M.2
-
12
-
-
34247157355
-
-
A. Lomuscio, Knowledge sharing among ideal agents, PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK, June 1999
-
-
-
-
15
-
-
84944319371
-
Symbolic model checking without BDDs
-
Proc. of TACAS'99, Springer-Verlag, Berlin
-
Biere A., Cimatti A., Clarke E., and Zhu Y. Symbolic model checking without BDDs. Proc. of TACAS'99. Lecture Notes in Computer Science vol. 1579 (1999), Springer-Verlag, Berlin 193-207
-
(1999)
Lecture Notes in Computer Science
, vol.1579
, pp. 193-207
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.3
Zhu, Y.4
-
16
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Bryant R.E. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35 8 (1986) 677-691. http://www.cs.cmu.edu/bryant/pubdir/ieeetc86.ps
-
(1986)
IEEE Trans. Comput.
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
19
-
-
0023861309
-
The dining cryptographers problem: Unconditional sender and recipient untraceability
-
Chaum D. The dining cryptographers problem: Unconditional sender and recipient untraceability. J. Cryptology 1 1 (1988) 65-75
-
(1988)
J. Cryptology
, vol.1
, Issue.1
, pp. 65-75
-
-
Chaum, D.1
-
20
-
-
4944250729
-
-
R. van der Meyden, K. Su, Symbolic model checking the knowledge of the dining cryptographers, in: 17th IEEE Computer Security Foundations Workshop, 2004, pp. 280-291
-
-
-
-
21
-
-
85162581195
-
-
M. Wooldridge, M. Fisher, M. Huget, S. Parsons, Model checking multiagent systems with MABLE, in: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, 2002
-
-
-
-
23
-
-
1242265512
-
Model checking AgentSpeak
-
Rosenschein J.S., Sandholm T., Michael W., and Yokoo M. (Eds), ACM Press, New York
-
Bordini R.H., Fisher M., Pardavila C., and Wooldridge M. Model checking AgentSpeak. In: Rosenschein J.S., Sandholm T., Michael W., and Yokoo M. (Eds). Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS-03) (2003), ACM Press, New York 409-416
-
(2003)
Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS-03)
, pp. 409-416
-
-
Bordini, R.H.1
Fisher, M.2
Pardavila, C.3
Wooldridge, M.4
-
24
-
-
84957712938
-
Decision procedures for propositional linear-time Belief-Desire-Intention logics
-
Intelligent Agents II. Wooldridge M., Müller J.P., and Tambe M. (Eds), Springer-Verlag, Heidelberg
-
Rao A.S. Decision procedures for propositional linear-time Belief-Desire-Intention logics. In: Wooldridge M., Müller J.P., and Tambe M. (Eds). Intelligent Agents II. Lecture Notes in Artificial Intelligence vol. 1037 (1996), Springer-Verlag, Heidelberg 33-48
-
(1996)
Lecture Notes in Artificial Intelligence
, vol.1037
, pp. 33-48
-
-
Rao, A.S.1
-
25
-
-
84958768940
-
Model checking knowledge and time in systems with perfect recall
-
Proceedings of FST&TCS. Hyderabad, India, Springer-Verlag, Berlin
-
Meyden R.v., and Shilov H. Model checking knowledge and time in systems with perfect recall. Proceedings of FST&TCS. Hyderabad, India. Lecture Notes in Computer Science vol. 1738 (1999), Springer-Verlag, Berlin 432-445
-
(1999)
Lecture Notes in Computer Science
, vol.1738
, pp. 432-445
-
-
Meyden, R.v.1
Shilov, H.2
-
26
-
-
33747046805
-
Mck: Model checking the logic of knowledge
-
Proceedings of 16th International Conference on Computer Aided Verification (CAV'04), Springer-Verlag, Berlin
-
Gammie P., and van der Meyden R. Mck: Model checking the logic of knowledge. Proceedings of 16th International Conference on Computer Aided Verification (CAV'04). Lecture Notes in Computer Science vol. 3114 (2004), Springer-Verlag, Berlin 479-483
-
(2004)
Lecture Notes in Computer Science
, vol.3114
, pp. 479-483
-
-
Gammie, P.1
van der Meyden, R.2
-
27
-
-
0037560142
-
Verifying epistemic properties of multi-agent systems via bounded model checking
-
Penczek W., and Lomuscio A. Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae 55 2 (2003) 167-185
-
(2003)
Fundamenta Informaticae
, vol.55
, Issue.2
, pp. 167-185
-
-
Penczek, W.1
Lomuscio, A.2
-
28
-
-
34247161376
-
-
VerICS
-
VerICS. http://www.ipipan.waw.pl/staff/w.penczek/abmpw/index-ang.htm
-
-
-
-
29
-
-
14044266255
-
Bounded model checking for deontic interpreted systems
-
Proc. of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), Elsevier, Amsterdam
-
Woźna B., Lomuscio A., and Penczek W. Bounded model checking for deontic interpreted systems. Proc. of the 2nd Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04). ENTCS vol. 126 (2004), Elsevier, Amsterdam 93-114. http://www.sciencedirect.com/science/journal/15710661
-
(2004)
ENTCS
, vol.126
, pp. 93-114
-
-
Woźna, B.1
Lomuscio, A.2
Penczek, W.3
-
30
-
-
24044475901
-
From bounded to unbounded model checking for temporal epistemic logic
-
Kacprzak M., Lomuscio A., and Penczek W. From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae 63 2-3 (2004) 221-240
-
(2004)
Fundamenta Informaticae
, vol.63
, Issue.2-3
, pp. 221-240
-
-
Kacprzak, M.1
Lomuscio, A.2
Penczek, W.3
-
31
-
-
7044238426
-
Bounded model checking for interpreted systems: preliminary experimental results
-
Proceedings of FAABS II. Hinchey M. (Ed), Springer-Verlag, Berlin
-
Lomuscio A., Łasica T., and Penczek W. Bounded model checking for interpreted systems: preliminary experimental results. In: Hinchey M. (Ed). Proceedings of FAABS II. Lecture Notes in Computer Science vol. 2669 (2003), Springer-Verlag, Berlin
-
(2003)
Lecture Notes in Computer Science
, vol.2669
-
-
Lomuscio, A.1
Łasica, T.2
Penczek, W.3
|