link.springer.com/article/10.1007/s10515-014-0168-9

Preview meta tags from the link.springer.com website.

Linked Hostnames

25

Thumbnail

Search Engine Appearance

Google

https://link.springer.com/article/10.1007/s10515-014-0168-9

Practical verification of decision-making in agent-based autonomous systems - Automated Software Engineering

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been us



Bing

Practical verification of decision-making in agent-based autonomous systems - Automated Software Engineering

https://link.springer.com/article/10.1007/s10515-014-0168-9

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been us



DuckDuckGo

https://link.springer.com/article/10.1007/s10515-014-0168-9

Practical verification of decision-making in agent-based autonomous systems - Automated Software Engineering

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been us

  • General Meta Tags

    167
    • title
      Practical verification of decision-making in agent-based autonomous systems | Automated Software Engineering
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • applicable-device
      pc,mobile
    • viewport
      width=device-width, initial-scale=1

  • Open Graph Meta Tags

    6
    • og:url
      https://link.springer.com/article/10.1007/s10515-014-0168-9
    • og:type
      article
    • og:site_name
      SpringerLink
    • og:title
      Practical verification of decision-making in agent-based autonomous systems - Automated Software Engineering
    • og:description
      We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex logical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this development. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a separate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems.

  • Twitter Meta Tags

    6
    • twitter:site
      @SpringerLink
    • twitter:card
      summary_large_image
    • twitter:image:alt
      Content cover image
    • twitter:title
      Practical verification of decision-making in agent-based autonomous systems
    • twitter:description
      Automated Software Engineering - We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to...

  • Item Prop Meta Tags

    3
    • position
      1
    • position
      2
    • position
      3

  • Link Tags

    9
    • apple-touch-icon
      /oscar-static/img/favicons/darwin/apple-touch-icon-6ef0829b9c.png
    • canonical
      https://link.springer.com/article/10.1007/s10515-014-0168-9
    • icon
      /oscar-static/img/favicons/darwin/android-chrome-192x192.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-32x32.png
    • icon
      /oscar-static/img/favicons/darwin/favicon-16x16.png

Emails

1

Links

315