{"id":"https://openalex.org/W2111979596","doi":"https://doi.org/10.1142/s0218843009001987","title":"SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS","display_name":"SPECIFICATION AND VERIFICATION OF DYNAMICS IN AGENT MODELS","publication_year":2009,"publication_date":"2009-03-01","ids":{"openalex":"https://openalex.org/W2111979596","doi":"https://doi.org/10.1142/s0218843009001987","mag":"2111979596"},"language":"en","primary_location":{"id":"doi:10.1142/s0218843009001987","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218843009001987","pdf_url":null,"source":{"id":"https://openalex.org/S17147961","display_name":"International Journal of Cooperative Information Systems","issn_l":"0218-8430","issn":["0218-8430","1793-6365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Cooperative Information Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067984774","display_name":"Tibor Bosse","orcid":"https://orcid.org/0000-0003-4233-0406"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"TIBOR BOSSE","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074074791","display_name":"Catholijn M. Jonker","orcid":"https://orcid.org/0000-0003-4780-7461"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"CATHOLIJN M. JONKER","raw_affiliation_strings":["Delft University of Technology, Department of Mediametics, Man Machine Interaction Group, Mekelweg 4, 2628 CD Delft, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Department of Mediametics, Man Machine Interaction Group, Mekelweg 4, 2628 CD Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103440118","display_name":"Lourens van der Meij","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"LOURENS VAN DER MEIJ","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079008582","display_name":"Alexei Sharpanskykh","orcid":"https://orcid.org/0000-0001-6879-1134"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"ALEXEI SHARPANSKYKH","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083304312","display_name":"Jan Treur","orcid":"https://orcid.org/0000-0003-2466-9158"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"JAN TREUR","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":39.4087,"has_fulltext":false,"cited_by_count":145,"citation_normalized_percentile":{"value":0.99844059,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"18","issue":"01","first_page":"167","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8827964067459106},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.662668764591217},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.6492314338684082},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5375468730926514},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5352855920791626},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4387964606285095},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.43865934014320374},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43186214566230774},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4295719265937805},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.42130279541015625},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.4198741912841797},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41085439920425415},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39309853315353394},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38762423396110535},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33156049251556396}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8827964067459106},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.662668764591217},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.6492314338684082},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5375468730926514},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5352855920791626},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4387964606285095},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.43865934014320374},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43186214566230774},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4295719265937805},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.42130279541015625},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.4198741912841797},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41085439920425415},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39309853315353394},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38762423396110535},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33156049251556396},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1142/s0218843009001987","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218843009001987","pdf_url":null,"source":{"id":"https://openalex.org/S17147961","display_name":"International Journal of Cooperative Information Systems","issn_l":"0218-8430","issn":["0218-8430","1793-6365"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Cooperative Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.143.7436","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.7436","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.vu.nl/~wai/Papers/IJCIS08verdyn.pdf","raw_type":"text"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/194222","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/194222","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Cooperative Information Systems, 18, 1, pp. 167-193","raw_type":"Article / Letter to editor"},{"id":"pmh:vu:oai:research.vu.nl:publications/4eec0663-a03f-4872-87ce-98b594a8e85a","is_oa":false,"landing_page_url":"https://research.vu.nl/en/publications/4eec0663-a03f-4872-87ce-98b594a8e85a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Cooperative Information Systems, 18, 167 - 193. World Scientific Publishing Co. Pte Ltd","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W565232785","https://openalex.org/W1488267121","https://openalex.org/W1493826535","https://openalex.org/W1493837649","https://openalex.org/W1508653096","https://openalex.org/W1518995307","https://openalex.org/W1528689085","https://openalex.org/W1540180001","https://openalex.org/W1573078772","https://openalex.org/W1579319924","https://openalex.org/W1873506857","https://openalex.org/W1976664511","https://openalex.org/W1977308918","https://openalex.org/W1991981864","https://openalex.org/W2007362474","https://openalex.org/W2012435739","https://openalex.org/W2016121228","https://openalex.org/W2033606892","https://openalex.org/W2038809129","https://openalex.org/W2058798611","https://openalex.org/W2064018204","https://openalex.org/W2072729203","https://openalex.org/W2091197883","https://openalex.org/W2099601951","https://openalex.org/W2115889429","https://openalex.org/W2126554879","https://openalex.org/W2142186385","https://openalex.org/W2150833513","https://openalex.org/W2152009938","https://openalex.org/W2158433436","https://openalex.org/W2164692942","https://openalex.org/W2166802518","https://openalex.org/W2166870813","https://openalex.org/W2167229353","https://openalex.org/W2169736476","https://openalex.org/W2340735175","https://openalex.org/W2469390141","https://openalex.org/W2568414465","https://openalex.org/W2806619258","https://openalex.org/W2899987233","https://openalex.org/W2913202392","https://openalex.org/W2913459036","https://openalex.org/W4210921733","https://openalex.org/W4236254023","https://openalex.org/W4239671798","https://openalex.org/W4244212082","https://openalex.org/W4252785764","https://openalex.org/W4301860484"],"related_works":["https://openalex.org/W2898425611","https://openalex.org/W2592399342","https://openalex.org/W1520778375","https://openalex.org/W2156223462","https://openalex.org/W2350068048","https://openalex.org/W1977144985","https://openalex.org/W1524680871","https://openalex.org/W2066381570","https://openalex.org/W2576260943","https://openalex.org/W2897842245"],"abstract_inverted_index":{"Within":[0],"many":[1],"domains,":[2],"among":[3,14],"which":[4,79],"biological,":[5,109],"cognitive,":[6],"and":[7,37,44,55,58,67,84,111],"social":[8,112],"areas,":[9],"multiple":[10],"interacting":[11],"processes":[12],"occur":[13],"agents":[15,43],"with":[16],"dynamics":[17],"that":[18],"are":[19],"hard":[20],"to":[21],"handle.":[22],"This":[23,47],"paper":[24],"presents":[25],"the":[26,34,50,86],"predicate":[27],"logical":[28,69],"Temporal":[29],"Trace":[30],"Language":[31],"(TTL)":[32],"for":[33,77],"formal":[35,87],"specification":[36,51,61],"analysis":[38],"of":[39,42,52,89,94,105],"dynamic":[40],"properties":[41,83,90],"multi-agent":[45],"systems.":[46],"language":[48],"supports":[49,80],"both":[53],"qualitative":[54],"quantitative":[56],"aspects,":[57],"therefore":[59],"subsumes":[60],"languages":[62],"based":[63],"on":[64],"differential":[65],"equations":[66],"qualitative,":[68],"approaches.":[70],"A":[71],"software":[72],"environment":[73,98],"has":[74],"been":[75],"developed":[76],"TTL,":[78],"editing":[81],"TTL":[82,97],"enables":[85],"verification":[88],"against":[91],"a":[92,103],"set":[93],"traces.":[95],"The":[96],"proved":[99],"its":[100],"value":[101],"in":[102],"number":[104],"projects":[106],"within":[107],"different":[108],"cognitive":[110],"domains.":[113]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":16},{"year":2012,"cited_by_count":16}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}