{"id":"https://openalex.org/W2760578639","doi":"https://doi.org/10.1145/3126513","title":"Antlab","display_name":"Antlab","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2760578639","doi":"https://doi.org/10.1145/3126513","mag":"2760578639"},"language":"en","primary_location":{"id":"doi:10.1145/3126513","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126513","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","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/A5011081023","display_name":"Ivan Gavran","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ivan Gavran","raw_affiliation_strings":["MPI-SWS, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-SWS, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rupak Majumdar","raw_affiliation_strings":["MPI-SWS, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-SWS, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011191138","display_name":"Indranil Saha","orcid":"https://orcid.org/0000-0002-1329-8286"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Indranil Saha","raw_affiliation_strings":["IIT Kanpur, Kanpur, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Kanpur, Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.2719,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.91152846,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"5s","first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/computer-science","display_name":"Computer science","score":0.8397269248962402},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.7863413095474243},{"id":"https://openalex.org/keywords/motion-planning","display_name":"Motion planning","score":0.595715343952179},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5092467069625854},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.500891923904419},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.48752638697624207},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.43507298827171326},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4251849353313446},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4225604832172394},{"id":"https://openalex.org/keywords/mobile-robot","display_name":"Mobile robot","score":0.41150620579719543},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4059895873069763},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.363783061504364},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3620261549949646}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8397269248962402},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7863413095474243},{"id":"https://openalex.org/C81074085","wikidata":"https://www.wikidata.org/wiki/Q366872","display_name":"Motion planning","level":3,"score":0.595715343952179},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5092467069625854},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.500891923904419},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.48752638697624207},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.43507298827171326},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4251849353313446},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4225604832172394},{"id":"https://openalex.org/C19966478","wikidata":"https://www.wikidata.org/wiki/Q4810574","display_name":"Mobile robot","level":3,"score":0.41150620579719543},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4059895873069763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.363783061504364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3620261549949646},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3126513","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126513","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W6827933","https://openalex.org/W62268448","https://openalex.org/W1480909796","https://openalex.org/W1545688112","https://openalex.org/W1980353316","https://openalex.org/W1994335503","https://openalex.org/W1999050017","https://openalex.org/W2004796166","https://openalex.org/W2006625750","https://openalex.org/W2007193228","https://openalex.org/W2007806954","https://openalex.org/W2012733616","https://openalex.org/W2015098966","https://openalex.org/W2032587419","https://openalex.org/W2045474169","https://openalex.org/W2060614270","https://openalex.org/W2064572756","https://openalex.org/W2105289524","https://openalex.org/W2108036288","https://openalex.org/W2120633474","https://openalex.org/W2122410182","https://openalex.org/W2143760481","https://openalex.org/W2150952649","https://openalex.org/W2151958719","https://openalex.org/W2164909904","https://openalex.org/W2166462345","https://openalex.org/W2295887384","https://openalex.org/W2322076341","https://openalex.org/W2337392266","https://openalex.org/W2342349499","https://openalex.org/W2398481491","https://openalex.org/W2408209020","https://openalex.org/W2482895331","https://openalex.org/W2497121448","https://openalex.org/W2534986651","https://openalex.org/W2562147820","https://openalex.org/W2607438445","https://openalex.org/W2737617799","https://openalex.org/W2901136733","https://openalex.org/W3037762468","https://openalex.org/W3104718257","https://openalex.org/W4243386470"],"related_works":["https://openalex.org/W4214505573","https://openalex.org/W1904098742","https://openalex.org/W3158921809","https://openalex.org/W1980828932","https://openalex.org/W2161428574","https://openalex.org/W2618632915","https://openalex.org/W2077416514","https://openalex.org/W4292862729","https://openalex.org/W2150982344","https://openalex.org/W2157678966"],"abstract_inverted_index":{"We":[0,91,226,254,269],"present":[1],"Antlab,":[2,21],"an":[3,140],"end-to-end":[4],"system":[5,63],"that":[6,144,271],"takes":[7],"streams":[8],"of":[9,18,57,67,88,125,161,175,238,266],"user":[10,37],"task":[11,81,98,111,250],"requests":[12],"and":[13,83,100,198,233,245,251,277],"executes":[14],"them":[15],"using":[16,243],"collections":[17],"robots.":[19,35,59,268],"In":[20,113],"each":[22,134],"request":[23],"is":[24],"specified":[25],"declaratively":[26],"in":[27,137,169,258],"linear":[28],"temporal":[29],"logic":[30],"extended":[31],"with":[32,139,159],"quantifiers":[33],"over":[34],"The":[36,60,181],"does":[38],"not":[39],"program":[40],"robots":[41,47,70,105,197,239],"individually,":[42],"nor":[43],"know":[44],"how":[45],"many":[46],"are":[48,147,224],"available":[49],"at":[50],"any":[51],"time":[52],"or":[53,152,188,194,220],"the":[54,58,65,80,85,89,162,167,192,201,212,217],"precise":[55],"state":[56],"Antlab":[61,229,256],"runtime":[62],"manages":[64,84],"set":[66,265],"robots,":[68],"schedules":[69],"to":[71,108,115,128,157],"perform":[72],"tasks,":[73,120],"automatically":[74],"synthesizes":[75],"robot":[76,178],"motion":[77,182],"plans":[78,168],"from":[79,191,195,216],"specification,":[82],"co-ordinated":[86],"execution":[87],"plan.":[90],"provide":[92,274],"a":[93,110,123,176,207,231,264,275],"constraint-based":[94],"formulation":[95],"for":[96,103,249,280],"simultaneous":[97],"assignment":[99],"plan":[101,129],"generation":[102],"multiple":[104,118],"working":[106],"together":[107],"satisfy":[109],"specification.":[112],"order":[114],"scalably":[116],"handle":[117],"concurrent":[119],"we":[121,132,165],"take":[122],"separation":[124],"concerns":[126],"view":[127],"generation.":[130],"First,":[131],"solve":[133],"planning":[135],"problem":[136],"isolation,":[138],"\u201cideal":[141],"world\u201d":[142],"hypothesis":[143],"says":[145],"there":[146],"no":[148],"unspecified":[149],"dynamic":[150,189],"obstacles":[151,190],"adversarial":[153],"environment":[154,186,193],"actions.":[155],"Second,":[156],"deal":[158],"imprecisions":[160],"real":[163],"world,":[164],"implement":[166],"receding":[170],"horizon":[171],"fashion":[172],"on":[173,236,241,263],"top":[174,237],"standard":[177],"navigation":[179],"stack.":[180],"planner":[183,222],"dynamically":[184,210],"detects":[185],"actions":[187],"other":[196],"locally":[199],"corrects":[200],"ideal":[202],"planned":[203,218],"path.":[204],"It":[205],"triggers":[206],"re-planning":[208],"step":[209],"if":[211,221],"current":[213],"path":[214,219,252],"deviates":[215],"assumptions":[223],"violated.":[225],"have":[227],"implemented":[228],"as":[230,260,262],"C++":[232],"Python":[234],"library":[235],"running":[240],"ROS,":[242],"SMT-based":[244],"AI":[246],"planning-based":[247],"implementations":[248],"planning.":[253],"evaluated":[255],"both":[257],"simulation":[259],"well":[261],"TurtleBot":[267],"demonstrate":[270],"it":[272],"can":[273],"scalable":[276],"robust":[278],"infrastructure":[279],"declarative":[281],"multi-robot":[282],"programming.":[283]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2017-10-06T00:00:00"}