{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:20Z","timestamp":1725748160940},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_17","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T20:18:12Z","timestamp":1378844292000},"page":"273-289","source":"Crossref","is-referenced-by-count":2,"title":["Using Agent JPF to Build Models for Other Model Checkers"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"L.A. Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.H.: Model Checking Agent Programming Languages. Automated Software Engineering\u00a019(1), 5\u201363 (2012)","journal-title":"Automated Software Engineering"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"17_CR3","unstructured":"Hunter, J., Raimondi, F., Rungta, N., Stocker, R.: A Synergistic and Extensible Framework for Multi-Agent System Verification. In: Ito, T., Jonker, C., Gini, M., Shehory, O. (eds.) Proc. 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). IFAAMAS (2013)"},{"key":"17_CR4","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. The MIT Press (2000)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996\u20131072. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","volume-title":"Proc. 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV","author":"R. Gerth","year":"1996","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proc. 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pp. 3\u201318. Chapman & Hall, Ltd., London (1996)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Memory-efficient Algorithms for the Verification of Temporal Properties. In: Formal Methods in System Design, pp. 275\u2013288 (1992)","DOI":"10.1007\/BF00121128"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24270-0_17","volume-title":"Computer Safety, Reliability, and Security","author":"M. Webster","year":"2011","unstructured":"Webster, M., Fisher, M., Cameron, N., Jump, M.: Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 228\u2013242. Springer, Heidelberg (2011)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Webster, M., Cameron, N., Jump, M., Fisher, M.: Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation. Journal of Aerospace Computing, Information, and Communication (2013)","DOI":"10.2514\/6.2012-2573"},{"key":"17_CR10","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley (2004)"},{"key":"17_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"key":"17_CR12","unstructured":"Havelund, K., Lowry, M., Park, S., Pecheur, C., Penix, J., Visser, W., White, J.L.: Formal Analysis of the Remote Agent Before and After Flight. In: Proc. 5th NASA Langley Formal Methods Workshop, Virginia, USA (2000)"},{"key":"17_CR13","unstructured":"Kars, P.: The Application of Promela and Spin in the BOS Project (Abstract) (1996), \n                  \n                    http:\/\/spinroot.com\/spin\/Workshops\/ws96\/Ka.pdf\n                  \n                  \n                 (accessed May 30, 2013)"},{"key":"17_CR14","unstructured":"Kirsch, M.T., Regenie, V.A., Aguilar, M.L., Gonzalez, O., Bay, M., Davis, M.L., Null, C.H., Scully, R.C., Kichak, R.A.: Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation. NASA Engineering and Safety Center Technical Assessment Report (January 2011)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"17_CR16","unstructured":"PRISM: Probabilistic Symbolic Model Checker, \n                  \n                    http:\/\/www.prismmodelchecker.org\/\n                  \n                  \n                 (accessed May 31, 2013)"},{"issue":"5","key":"17_CR17","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MIS.2002.1039830","volume":"17","author":"M. Sierhuis","year":"2002","unstructured":"Sierhuis, M., Clancey, W.J.: Modeling and Simulating Work Practice: A Method for Work Systems Design. IEEE Intelligent Systems\u00a017(5), 32\u201341 (2002)","journal-title":"IEEE Intelligent Systems"},{"key":"17_CR18","unstructured":"JPF\u2026 the Swiss Army Knife of Java\n                  TM\n                 verification, \n                  \n                    http:\/\/babelfish.arc.nasa.gov\/trac\/jpf\/\n                  \n                  \n                 (accessed June 9, 2013)"},{"issue":"6","key":"17_CR19","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1093\/logcom\/exp029","volume":"19","author":"R.H. Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. and Comput.\u00a019(6), 1385\u20131425 (2009)","journal-title":"J. Log. and Comput."},{"key":"17_CR20","unstructured":"Lincoln, N.K., Veres, S.M., Dennis, L.A., Fisher, M., Lisitsa, A.: Autonomous Asteroid Exploration - Agent Based Control for Autonomous Spacecraft in Complex Environments. IEEE Computational Intelligence Magazine, Special Issue on Computational Intelligence for Space Systems and Operations (to appear)"},{"key":"17_CR21","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: A BDI Language for Verifiable Agents. In: Proc. AISB Workshop on Logic and the Simulation of Interaction and Reasoning, AISB (2008)"},{"key":"17_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-28756-5_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Babiak","year":"2012","unstructured":"Babiak, T., K\u0159et\u00ednsk\u00fd, M., \u0158eh\u00e1k, V., Strej\u010dek, J.: LTL to B\u00fcchi Automata Translation: Fast and More Deterministic. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 95\u2013109. Springer, Heidelberg (2012)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods in System Design, 1\u201327 (2012)","DOI":"10.1007\/s10703-012-0177-x"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T05:16:01Z","timestamp":1558070161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}