Academic Journal
View in EDS

Formal methods in robot end user development: progress, gaps, and opportunities.

Bibliographic Details
Title: Formal methods in robot end user development: progress, gaps, and opportunities.
Authors: Hwang, Yuna, Lee, Christine P., Porfirio, David, Hiatt, Laura M., Mutlu, Bilge
Source: Foundations & Trends in Robotics; 2026, Vol. 13 Issue 3, p273-349, 77p
Database: Complementary Index
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 193257925
RelevancyScore: 1082
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1082.42175292969
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal methods in robot end user development: progress, gaps, and opportunities.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Hwang%2C+Yuna%22">Hwang, Yuna</searchLink><br /><searchLink fieldCode="AR" term="%22Lee%2C+Christine+P%2E%22">Lee, Christine P.</searchLink><br /><searchLink fieldCode="AR" term="%22Porfirio%2C+David%22">Porfirio, David</searchLink><br /><searchLink fieldCode="AR" term="%22Hiatt%2C+Laura+M%2E%22">Hiatt, Laura M.</searchLink><br /><searchLink fieldCode="AR" term="%22Mutlu%2C+Bilge%22">Mutlu, Bilge</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Foundations & Trends in Robotics; 2026, Vol. 13 Issue 3, p273-349, 77p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=193257925
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1108/FTROB-05-2025-0083
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 77
        StartPage: 273
    Titles:
      – TitleFull: Formal methods in robot end user development: progress, gaps, and opportunities.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Hwang, Yuna
      – PersonEntity:
          Name:
            NameFull: Lee, Christine P.
      – PersonEntity:
          Name:
            NameFull: Porfirio, David
      – PersonEntity:
          Name:
            NameFull: Hiatt, Laura M.
      – PersonEntity:
          Name:
            NameFull: Mutlu, Bilge
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 07
              Text: 2026
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 19358253
          Numbering:
            – Type: volume
              Value: 13
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: Foundations & Trends in Robotics
              Type: main
ResultId 1