-
1
-
-
33745752690
-
Model checking multi-agent programs with CASP
-
Springer-Verlag
-
R. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model checking multi-agent programs with CASP. In Proc. of the 15th Int. Conf. on Computer Aided Verification (CAV'03), volume 2725 of LNCS, pages 110-113. Springer-Verlag, 2003.
-
(2003)
Proc. of the 15th Int. Conf. on Computer Aided Verification (CAV'03)., Volume 2725 of LNCS
, pp. 110-113
-
-
Bordini, R.1
Fisher, M.2
Pardavila, C.3
Visser, W.4
Wooldridge, M.5
-
3
-
-
35248826437
-
A tool for verifying timed automata and Estelle specifications
-
Springer-Verlag
-
P. Dembinski, A. Janowska, P. Janowski, W. Penczek, A. Po?rola, M. Szreter, B. Wozna, and A. Zbrzezny. VerICS: A tool for verifying timed automata and Estelle specifications. In Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), volume 2619 of LNCS, pages 278-283. Springer-Verlag, 2003.
-
(2003)
Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03)., Volume 2619 of LNCS
, pp. 278-283
-
-
Dembinski, P.1
Janowska, A.2
Janowski, P.3
Penczek, W.4
Porola, A.5
Szreter, M.6
Wozna, B.7
Zbrzezny, A.8
-
5
-
-
0003730235
-
-
MIT Press, Cambridge
-
R. Fagin, J. Y. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.4
-
7
-
-
84875124429
-
Estelle-A formal description technique based on an extended state-transition model
-
ISO/IEC 9074(E).
-
ISO/IEC 9074(E), Estelle-a formal description technique based on an extended state-transition model. International Standards Organization, 1997.
-
(1997)
International Standards Organization
-
-
-
8
-
-
33751197890
-
Verifying multiagent systems via unboundedmodel checking
-
Springer-Verlag
-
M. Kacprzak, A. Lomuscio, T. ?asica, W. Penczek, and M. Szreter. Verifying multiagent systems via unboundedmodel checking. In Proc. of the 3rd NASAWorkshop on Formal Approaches to Agent-Based Systems (FAABS III), volume 3228 of LNCS, pages 189-212. Springer-Verlag, 2005.
-
(2005)
Proc. of the 3rd NASAWorkshop on Formal Approaches to Agent-Based Systems (FAABS III)., Volume 3228 of LNCS
, pp. 189-212
-
-
Kacprzak, M.1
Lomuscio, A.2
Asica, T.3
Penczek, W.4
Szreter, M.5
-
9
-
-
33747048946
-
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers protocol
-
SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CSandP 2005) Ruciane-Nide, Poland, 28-30 September 2005
-
M. Kacprzak, A. Lomuscio, A. Niewiadomski, W. Penczek, F. Raimondi, and M. Szreter. Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol. Fundamenta Informaticae, 72(1-2): 215-234, 2006. (Pubitemid 44215263)
-
(2006)
Fundamenta Informaticae
, vol.72
, Issue.1-3 SPEC. ISS.
, pp. 215-234
-
-
Kacprzak, M.1
Lomuscio, A.2
Niewiadomski, A.3
Penczek, W.4
Raimondi, F.5
Szreter, M.6
-
10
-
-
24044475901
-
From bounded to unbounded model checking for temporal epistemic logic
-
M. Kacprzak, A. Lomuscio, and W. Penczek. From bounded to unbounded model checking for temporal epistemic logic. Fundamenta Informaticae, 63(2-3): 221-240, 2004. (Pubitemid 41218160)
-
(2004)
Fundamenta Informaticae
, vol.63
, Issue.2-3
, pp. 221-240
-
-
Kacprzak, M.1
Lomuscio, A.2
Penczek, W.3
-
12
-
-
35448944801
-
Bounded model checking for knowledge and real time
-
DOI 10.1016/j.artint.2007.05.005, PII S0004370207001038
-
A. Lomuscio, W. Penczek, and B. Wozna. Bounded model checking for knowledge and real time. Artificial Intelligence, 171: 1011-1038, 2007. (Pubitemid 47633400)
-
(2007)
Artificial Intelligence
, vol.171
, Issue.16-17
, pp. 1011-1038
-
-
Lomuscio, A.1
Penczek, W.2
Wozna, B.3
-
13
-
-
33745782313
-
MCMAS: A Model Checker for Multi-agent Systems
-
DOI 10.1007/11691372-31, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006
-
A. Lomuscio and F. Raimondi. MCMAS: A model checker for multi-agent systems. In Proc. of the 12th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of LNCS, pages 450-454. Springer-Verlag, 2006. (Pubitemid 44019389)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.3920
, pp. 450-454
-
-
Lomuscio, A.1
Raimondi, F.2
-
16
-
-
84875189909
-
-
MiniSat. , 2006.
-
MiniSat. http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat, 2006.
-
-
-
-
19
-
-
84875143413
-
-
RSat. 2006.
-
RSat. http://reasoning.cs.ucla.edu/rsat, 2006.
-
-
-
-
21
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its applications
-
A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5: 285-309, 1955.
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
-
22
-
-
0036368933
-
Model checking multi-agent systems with MABLE
-
M. Wooldridge, M. Fisher, M. P. Huget, and S. Parsons. Model checking multiagent systems with MABLE. In Proc. of the 1st Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'02), volume II, pages 952-959. ACM, 2002. (Pubitemid 34975299)
-
(2002)
Proceedings of the International Conference on Autonomous Agents
, Issue.1
, pp. 952-959
-
-
Wooldridge, M.1
Fisher, M.2
Huget, M.-P.3
Parsons, S.4
-
23
-
-
14044266255
-
Bounded model checking for deontic interpreted systems
-
DOI 10.1016/j.entcs.2004.11.015, PII S157106610500085X, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)
-
B.Wozna, A. Lomuscio, andW. Penczek. Bounded model checking for deontic interpreted systems. In Proc. of the 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems (LCMAS'04), volume 126 of ENTCS, pages 93-114. Elsevier, 2005. (Pubitemid 40276672)
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.126
, pp. 93-114
-
-
Wozna, B.1
Lomuscio, A.2
Penczek, W.3
-
25
-
-
2942702093
-
Improvements in SAT-based reachability analysis for timed automata
-
A. Zbrzezny. Improvements in SAT-based reachability analysis for timed automata. Fundamenta Informaticae, 60(1-4): 417-434, 2004.
-
(2004)
Fundamenta Informaticae
, vol.60
, Issue.1-4
, pp. 417-434
-
-
Zbrzezny, A.1
-
26
-
-
33645312974
-
SAT-based reachability checking for timed automata with diagonal constraints
-
A. Zbrzezny. SAT-based reachability checking for timed automata with diagonal constraints. Fundamenta Informaticae, 67(1-3): 303-322, 2005.
-
(2005)
Fundamenta Informaticae
, vol.67
, Issue.1-3
, pp. 303-322
-
-
Zbrzezny, A.1
-
27
-
-
84875162854
-
-
L. Zhang. Zchaff. http://www.ee.princeton.edu/-chaff/zchaff.php, 2001.
-
(2001)
Zchaff
-
-
Zhang, L.1
|