{"id":"https://openalex.org/W4406880590","doi":"https://doi.org/10.48550/arxiv.2501.15480","title":"Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods","display_name":"Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods","publication_year":2025,"publication_date":"2025-01-26","ids":{"openalex":"https://openalex.org/W4406880590","doi":"https://doi.org/10.48550/arxiv.2501.15480"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2501.15480","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.15480","pdf_url":"https://arxiv.org/pdf/2501.15480","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.15480","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042545931","display_name":"Tom Yaacov","orcid":"https://orcid.org/0000-0002-0565-6506"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yaacov, Tom","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026812393","display_name":"Gera Weiss","orcid":"https://orcid.org/0000-0002-5832-8768"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weiss, Gera","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021125896","display_name":"Adiel Ashrov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ashrov, Adiel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044509944","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0001-5292-801X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Katz, Guy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116054062","display_name":"Jules Zisser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zisser, Jules","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5042545931"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11675","display_name":"Open Source Software Innovations","score":0.19290000200271606,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T11675","display_name":"Open Source Software Innovations","score":0.19290000200271606,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T11006","display_name":"BIM and Construction Integration","score":0.17499999701976776,"subfield":{"id":"https://openalex.org/subfields/2215","display_name":"Building and Construction"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.7323387861251831},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4787237346172333},{"id":"https://openalex.org/keywords/reinforcement","display_name":"Reinforcement","score":0.4564589858055115},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3943089246749878},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2788139581680298},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.1634821891784668}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7323387861251831},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4787237346172333},{"id":"https://openalex.org/C67203356","wikidata":"https://www.wikidata.org/wiki/Q1321905","display_name":"Reinforcement","level":2,"score":0.4564589858055115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3943089246749878},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2788139581680298},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.1634821891784668}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2501.15480","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.15480","pdf_url":"https://arxiv.org/pdf/2501.15480","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2501.15480","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.15480","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.15480","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.15480","pdf_url":"https://arxiv.org/pdf/2501.15480","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5703192963","display_name":"Verifiably Safe and Correct Deep Neural Networks","funder_award_id":"101112713","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6223935325","display_name":null,"funder_award_id":"2714/19","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406880590.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4310083477","https://openalex.org/W2328553770","https://openalex.org/W2920061524","https://openalex.org/W1977959518","https://openalex.org/W2038908348","https://openalex.org/W2107890255","https://openalex.org/W2106552856"],"abstract_inverted_index":{"We":[0,70],"explore":[1],"and":[2,10,17,42,63,67,85,89,119,126,143],"evaluate":[3],"the":[4,48,52,98,130],"interactions":[5],"between":[6],"Behavioral":[7],"Programming":[8],"(BP)":[9],"a":[11,39,43,55,116,137,147],"range":[12],"of":[13,58,100,132],"Artificial":[14],"Intelligence":[15],"(AI)":[16],"Formal":[18],"Methods":[19],"(FM)":[20],"techniques.":[21],"Our":[22],"goal":[23],"is":[24,60],"to":[25,96,102,135],"demonstrate":[26],"that":[27,34],"BP":[28,74,101],"can":[29,111],"serve":[30],"as":[31,78],"an":[32],"abstraction":[33],"integrates":[35],"various":[36,65],"techniques,":[37],"enabling":[38],"multifaceted":[40],"analysis":[41],"rich":[44],"development":[45,120,149],"process.":[46],"Specifically,":[47],"paper":[49,123],"examines":[50],"how":[51,72,109],"BPpy":[53],"framework,":[54],"Python-based":[56],"implementation":[57],"BP,":[59],"enhanced":[61],"by":[62],"enhances":[64],"FM":[66,144],"AI":[68,142],"tools.":[69],"assess":[71],"integrating":[73],"with":[75],"tools":[76,114],"such":[77],"Satisfiability":[79],"Modulo":[80],"Theory":[81],"(SMT)":[82],"solvers,":[83],"symbolic":[84],"probabilistic":[86],"model":[87,103],"checking,":[88],"Deep":[90],"Reinforcement":[91],"Learning":[92],"(DRL)":[93],"allow":[94],"us":[95],"scale":[97],"abilities":[99],"complex":[104],"systems.":[105],"Additionally,":[106],"we":[107],"illustrate":[108],"developers":[110],"leverage":[112],"multiple":[113],"within":[115],"single":[117],"modeling":[118],"task.":[121],"The":[122],"provides":[124],"quantitative":[125],"qualitative":[127],"evidence":[128],"supporting":[129],"feasibility":[131],"our":[133],"vision":[134],"create":[136],"comprehensive":[138],"toolbox":[139],"for":[140],"harnessing":[141],"methods":[145],"in":[146],"unified":[148],"framework.":[150]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}