{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","description":"A formal method in computer science and control theory for determining whether a system can reach specified states from given initial conditions.","display_name_alternatives":["reach analysis","reachability checking","state reachability analysis"],"ids":{"openalex":"https://openalex.org/keywords/reachability-analysis","wikidata":"https://www.wikidata.org/wiki/Q60790438"},"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.426,"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.426,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.1385,"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"}}],"works_count":7530,"cited_by_count":100024,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/reachability-analysis","updated_date":"2026-10-25T04:06:18","created_date":"2026-09-30T00:00:00"}