{"id":"https://openalex.org/W1512485549","doi":"https://doi.org/10.1007/978-3-642-11623-0_17","title":"Bounded Rational Search for On-the-Fly Model Checking of LTL Properties","display_name":"Bounded Rational Search for On-the-Fly Model Checking of LTL Properties","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1512485549","doi":"https://doi.org/10.1007/978-3-642-11623-0_17","mag":"1512485549"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-11623-0_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11623-0_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5003816017","display_name":"Razieh Behjati","orcid":"https://orcid.org/0000-0003-3302-2751"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Razieh Behjati","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]},{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]},{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR","IS"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","Reykjavik University, School of Computer Science, Kringlan 1, 103, Reykjavik, Iceland","School of Computer Science, Institute for Research in Fundamental Sciences, Tehran, Iran","School of Computer Science, Reykjavik University, Iceland"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]},{"raw_affiliation_string":"Reykjavik University, School of Computer Science, Kringlan 1, 103, Reykjavik, Iceland","institution_ids":["https://openalex.org/I123185442"]},{"raw_affiliation_string":"School of Computer Science, Institute for Research in Fundamental Sciences, Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]},{"raw_affiliation_string":"School of Computer Science, Reykjavik University, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072135442","display_name":"Majid Nili Ahmadabadi","orcid":"https://orcid.org/0000-0002-6370-6057"},"institutions":[{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]},{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Majid Nili Ahmadabadi","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","School of Cognitive Science, Institute for Research in Fundamental Sciences, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]},{"raw_affiliation_string":"School of Cognitive Science, Institute for Research in Fundamental Sciences, Tehran, Iran","institution_ids":["https://openalex.org/I4210146419"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003816017"],"corresponding_institution_ids":["https://openalex.org/I23946033"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3662,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.59081967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"292","last_page":"307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/model-checking","display_name":"Model checking","score":0.8930609226226807},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8545236587524414},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6919435262680054},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.633413553237915},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5164101719856262},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5105701684951782},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.48254817724227905},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4789367616176605},{"id":"https://openalex.org/keywords/on-the-fly","display_name":"On the fly","score":0.46874362230300903},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.4583008885383606},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.45126062631607056},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3682066798210144},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.356459379196167},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09325724840164185}],"concepts":[{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8930609226226807},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8545236587524414},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6919435262680054},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.633413553237915},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5164101719856262},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5105701684951782},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.48254817724227905},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4789367616176605},{"id":"https://openalex.org/C2781020372","wikidata":"https://www.wikidata.org/wiki/Q533093","display_name":"On the fly","level":2,"score":0.46874362230300903},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.4583008885383606},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.45126062631607056},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3682066798210144},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.356459379196167},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09325724840164185},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-11623-0_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11623-0_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W42364276","https://openalex.org/W76273397","https://openalex.org/W1480600454","https://openalex.org/W1485856091","https://openalex.org/W1503170978","https://openalex.org/W1515851193","https://openalex.org/W1516256348","https://openalex.org/W1540501475","https://openalex.org/W1544634046","https://openalex.org/W1556566737","https://openalex.org/W1591783602","https://openalex.org/W1612453857","https://openalex.org/W1643791166","https://openalex.org/W1763418526","https://openalex.org/W1783413852","https://openalex.org/W1787074469","https://openalex.org/W1805171086","https://openalex.org/W1934074768","https://openalex.org/W1943389500","https://openalex.org/W1970603830","https://openalex.org/W1984957636","https://openalex.org/W2001987516","https://openalex.org/W2006553351","https://openalex.org/W2017560506","https://openalex.org/W2019881090","https://openalex.org/W2034717157","https://openalex.org/W2061438988","https://openalex.org/W2094500233","https://openalex.org/W2099392892","https://openalex.org/W2116509046","https://openalex.org/W2117189826","https://openalex.org/W2121863487","https://openalex.org/W2124849682","https://openalex.org/W2128480458","https://openalex.org/W2132638915","https://openalex.org/W2180713429","https://openalex.org/W2340735175","https://openalex.org/W2502490444","https://openalex.org/W2561675875","https://openalex.org/W2913459036","https://openalex.org/W4285719527","https://openalex.org/W4296471858","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W278680301","https://openalex.org/W2350953867","https://openalex.org/W2081257986","https://openalex.org/W2043044323","https://openalex.org/W70902631","https://openalex.org/W2528199611","https://openalex.org/W2477338659","https://openalex.org/W2127730763","https://openalex.org/W4313193894","https://openalex.org/W2973405785"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}