↓ Skip to main content
What is this page? Embed badge

Formal Methods. FM 2019 International Workshops

Overview of attention for book
Cover of 'Formal Methods. FM 2019 International Workshops'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Experiences with Streamlining Formal Methods Tools
  3. Altmetric Badge
    Chapter 2 The Bourgeois Gentleman, Engineering and Formal Methods
  4. Altmetric Badge
    Chapter 3 SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
  5. Altmetric Badge
    Chapter 4 Compiling C and C++ Programs for Dynamic White-Box Analysis
  6. Altmetric Badge
    Chapter 5 Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table
  7. Altmetric Badge
    Chapter 6 Addressing Usability in a Formal Development Environment
  8. Altmetric Badge
    Chapter 7 Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
  9. Altmetric Badge
    Chapter 8 Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
  10. Altmetric Badge
    Chapter 9 An Ontology-Based Approach to Support Formal Verification of Concurrent Systems
  11. Altmetric Badge
    Chapter 10 How to Look Next? A Data-Driven Approach for Scanpath Prediction
  12. Altmetric Badge
    Chapter 11 “Know Thyself” How Personal Music Tastes Shape the Last.Fm Online Social Network
  13. Altmetric Badge
    Chapter 12 Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach
  14. Altmetric Badge
    Chapter 13 An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning
  15. Altmetric Badge
    Chapter 14 Analysis and Visualization of Performance Indicators in University Admission Tests
  16. Altmetric Badge
    Chapter 15 Anomaly Detection from Log Files Using Unsupervised Deep Learning
  17. Altmetric Badge
    Chapter 16 Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent
  18. Altmetric Badge
    Chapter 17 CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles
  19. Altmetric Badge
    Chapter 18 Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
  20. Altmetric Badge
    Chapter 19 Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
  21. Altmetric Badge
    Chapter 20 A Mission Definition, Verification and Validation Architecture
  22. Altmetric Badge
    Chapter 21 Smart Contracts: Application Scenarios for Deductive Program Verification
  23. Altmetric Badge
    Chapter 22 Deductive Proof of Industrial Smart Contracts Using Why3
  24. Altmetric Badge
    Chapter 23 Verifying Smart Contracts with Cubicle
  25. Altmetric Badge
    Chapter 24 Call Me Back, I Have a Type Invariant
  26. Altmetric Badge
    Chapter 25 Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies
  27. Altmetric Badge
    Chapter 26 A Distributed Blockchain Model of Selfish Mining
  28. Altmetric Badge
    Chapter 27 Towards a Verified Model of the Algorand Consensus Protocol in Coq
  29. Altmetric Badge
    Chapter 28 Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
  30. Altmetric Badge
    Chapter 29 Smart Contract Interactions in Coq
  31. Altmetric Badge
    Chapter 30 Formal Specification of a Security Framework for Smart Contracts
  32. Altmetric Badge
    Chapter 31 Examples of the Application of Formal Methods to Interactive Systems
  33. Altmetric Badge
    Chapter 32 Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
  34. Altmetric Badge
    Chapter 33 A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops
  35. Altmetric Badge
    Chapter 34 Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets
  36. Altmetric Badge
    Chapter 35 Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
  37. Altmetric Badge
    Chapter 36 Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
Attention for Chapter 19: Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Altmetric Badge

Mentioned by

twitter
1 X user
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Chapter number 19
Book title
Formal Methods. FM 2019 International Workshops
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-54994-7_19
Book ISBNs
978-3-03-054993-0, 978-3-03-054994-7
Authors

Keith Clark, Brijesh Dongol, Peter Robinson

View on publisher site

Login to access the Attention Digest and the Sentiment Analysis related to this output.

Timeline Attention over time Attention Score history
Login to access the full charts related to this output.
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.