{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T18:47:58Z","timestamp":1766515678239,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/iros.2016.7759280","type":"proceedings-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T21:08:02Z","timestamp":1482181682000},"page":"1751-1756","source":"Crossref","is-referenced-by-count":6,"title":["Performance level profiles: A formal language for describing the expected performance of functional modules"],"prefix":"10.1109","author":[{"given":"Ronen I.","family":"Brafman","sequence":"first","affiliation":[]},{"given":"Michael","family":"Bar-Sinai","sequence":"additional","affiliation":[]},{"given":"Maor","family":"Ashkenazi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Relational dynamic influence diagram language (rddl): Language description","year":"2010","author":"sanner","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329214"},{"journal-title":"Object-Oriented Software Construction","year":"1997","author":"meyer","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref14","first-page":"105","article-title":"Planing with concurrent interacting actions","volume":"14","author":"boutilier","year":"2001","journal-title":"Journal of AI Research"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/365559.365617"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/301136.301201"},{"key":"ref17","first-page":"2292","article-title":"A specification of generic robotics software components: future evolutions of genom in the orocos context","author":"mallet","year":"2002","journal-title":"IEEE IROS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509402"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref3","article-title":"A reactive model-based programming language for robotic space explorers","author":"ingham","year":"2001","journal-title":"Int Symp oon AI Robotics and Automation for Space"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2012.09.005"},{"key":"ref5","article-title":"Incremental component-based construction and verification of a robotic system","author":"basu","year":"2008","journal-title":"European Conf on AI"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"Pdd12.1: An extension to pddl for expressing temporal planning domains","volume":"20","author":"fox","year":"2003","journal-title":"JAIR"},{"key":"ref7","first-page":"99","article-title":"Performance level profiles","author":"brafman","year":"2014","journal-title":"ICAPS Workshop on Planning and Robotics (PlanRob)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.1998.724883"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1996.503571"},{"key":"ref9","article-title":"PPDDL1.0: An extension to PDDL for expressing planning domains with probabilistic effects","author":"younes","year":"2004","journal-title":"Carnegie Mellon University Technical Report CMU - CS"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.15"},{"key":"ref22","article-title":"Planning and monitoring with performance level profiles","author":"ashkenazi","year":"2016","journal-title":"ICAPS Workshop on Planning and Robotics (PlanRob)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912459665"}],"event":{"name":"2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2016,10,9]]},"location":"Daejeon, South Korea","end":{"date-parts":[[2016,10,14]]}},"container-title":["2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7743711\/7758082\/07759280.pdf?arnumber=7759280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T18:40:46Z","timestamp":1568659246000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7759280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iros.2016.7759280","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}