Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments Accepted to AAAI 2026
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments Accepted to AAAI 2026
机构 * AIR
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments Accepted by AAAI2026 Code: https://github.com/MSunDYY/SparseWorld
机构 * Columbia University Department of Computer Science(哥伦比亚大学计算机科学系)
专题命中 规划决策 :agentic(abstract);分类 cs.AI
Comments 14pages, 11figures
机构 * Fudan University(复旦大学) ; Institute of Artificial Intelligence (TeleAI), China Telecom(人工智能研究所(TeleAI),中国电信) ; University of Science and Technology of China(中国科学技术大学) ; East China University of Science and Technology(东华大学)
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments Project Page: https://openhumanoidgen.github.io
机构 * Department of Civil and Environmental Engineering, University of California, Berkeley, CA, USA(加州大学伯克利分校土木与环境工程系) ; D3 Analytics Innovation, Allstate Insurance Company, Northbrook, IL, USA(Allstate保险公司D3 Analytics创新部门) ; Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA(加州大学伯克利分校电气工程与计算机科学系)
专题命中 规划决策 :planning(abstract);分类 cs.LG
机构 * School of Electrical and Electronic Engineering, The University of Sheffield(电气与电子工程学院,谢菲尔德大学) ; Department of Computer Science, Brunel University London(计算机科学系,布伦尔大学伦敦分校) ; Ranplan Wireless Network Design Ltd.(Ranplan无线网络设计有限公司) ; R&D Department, Cambridge AI+ Ltd.(剑桥AI+有限公司研发部) ; R&D Department, Ranplan Wireless Network Design Ltd.(Ranplan无线网络设计有限公司研发部)
专题命中 规划决策 :planning(abstract);分类 cs.LG
Comments Submitted for possible journal publications
机构 * Georgia Institute of Technology(佐治亚理工学院)
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments 12 pages, 5 figures. Under review
专题命中 规划决策 :planning(abstract);分类 cs.AI
Comments The paper has been accepted by the Fortieth AAAI Conference on Artificial Intelligence. AAAI 2026
机构 * Biometry and Environmental System Analysis, University of Freiburg, Germany(弗赖堡大学生物计量与环境系统分析系) ; Chair of Environmental Meteorology, University of Freiburg, Germany(弗赖堡大学环境气象学教授职位)
专题命中 规划决策 :planning(abstract);分类 cs.LG
专题命中 规划决策 :planning(abstract);分类 cs.SE
机构 * Computer Science New Jersey Institute of Technology Newark, NJ, USA(计算机科学 新 jersey 理工学院 新ARK, NJ, USA) ; Computer Engineering New York Institute of Technology New York, NY, USA(电子与计算机工程 新 york 理工学院 新 YORK, NY, USA)
专题命中 规划决策 :planning(abstract,comments)
Comments Autonomous drone, A* algorithm, 3D environments, path planning, obstacle avoidance, energy efficiency, MIT Conference
Journal ref In IEEE MIT Undergraduate Research Technology Conference, Oct. 10-12, 2025, pp. 1-6., Cambridge, MA, 2025
专题命中 规划决策 :planning(abstract)
Comments IROS 2025
机构 * Zhejiang University(浙江大学) ; Tencent Hunyuan(腾讯文言) ; Tsinghua University(清华大学) ; The University of Hong Kong(香港大学)
专题命中 规划决策 :planning(abstract)
机构 * Thrust of Urban Governance and Design, Society Hub(城市治理与设计 thrust,社会枢纽) ; Department of Geography(地理系) ; School of Architecture(建筑学院)
专题命中 规划决策 :planning(abstract)
Comments Appendix A. Supplementary data at https://ars.els-cdn.com/content/image/1-s2.0-S2210670725008418-mmc1.docx
Journal ref Zhang, W., Tong, Y., Liu, Y., & Cao, R. (2025). Mapping the vanishing and transformation of urban villages in China. Sustainable Cities and Society, 135, 106970
专题命中 规划决策 :planning(abstract)
Comments Article in Portuguese
Journal ref Communications in Airline Economics Research, 201917809h, 2023
专题命中 规划决策 :planning(abstract)
专题命中 规划决策 :planning(abstract)
Comments Submitted to MIGARS 2025
Journal ref 2025 International Conference on Machine Intelligence for GeoAnalytics and Remote Sensing (MIGARS), Bucharest, Romania, 2025
专题命中 规划决策 :agent(abstract)
机构 * The Quarry Lane School(Quarry Lane 学校)
专题命中 规划决策 :planning(abstract)
专题命中 规划决策 :planning(abstract)
专题命中 规划决策 :planning(abstract)
Comments 29 pages
专题命中 规划决策 :agent(abstract)
Comments Typos corrected
专题命中 规划决策 :agent(abstract)
Comments AAAI2026
机构 * Carnegie Mellon University(卡内基梅隆大学) ; Field AI ; Nissan USA(日产美国)
专题命中 规划决策 :agent(abstract)
机构 * Brain-Inspired Application Technology Center (BATC), School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University(脑启发应用技术中心(BATC)、电子信息与电气工程学院、上海交通大学)
专题命中 规划决策 :planning(abstract)
Comments 7 pages, 7 figures. Accepted to be presented at the ICRA 2025
专题命中 规划决策 :planning(abstract)
Journal ref npj Urban Sustainability, vol. 5(1), 84 (2025)
机构 * Riemann Lab , Huawei(里曼实验室,华为) ; Center for Cognitive Interaction Technology (CITEC), Faculty of Technology, Bielefeld University(认知交互技术中心(CITEC),技术学院,比勒菲尔德大学)
专题命中 规划决策 :planning(abstract)
Journal ref Remote Sensing, 17(16), 2845
专题命中 规划决策 :agent(abstract)
Comments Accepted by ICAIF '20: Proceedings of the First ACM International Conference on AI in Finance. Conference program: https://ai-finance.org/2020program/
机构 * Faculty of Information Technology, Monash University(墨尔本大学信息科技学院) ; Institute of Artificial Intelligence, School of Computer Science, Wuhan University(武汉大学计算机科学学院人工智能研究所) ; Shanghai Artificial Intelligence Laboratory, Shanghai, China(上海人工智能实验室)
专题命中 规划决策 :planning(abstract)
专题命中 规划决策 :planning(abstract)