This Project is not specific to Greece. For more details, please visit OpenAIRE Explore.
Link with research outputs.
Please log in first and try again.
SAPPORO
Safe, Adaptive, and Provable Protocols for Oblivious Robots Operation
FunderFrench National Research Agency (ANR)
Funder Contribution €358,960.00
DurationFrom 01 Jan 2020
Project codeANR-19-CE25-0005
Identifiers
Description
An emergent trend has recently received significant attention: networks of passively and/or actively mobile sensors (that is, swarms of robots). These robots are able to execute collectively various complex tasks; one application being for example to optimise the coverage of interest zones under natural or human disaster, and help in search and rescue tasks. A characteristic feature is the extreme dynamism of their structure, content, load, and even execution environment. Possibly the subjects to Byzantine failures, obtaining certified guarantees on their behaviour is a crucial issue, as they belong to an area of computer science well-known for being remarkably harsh on informal reasoning, possibly leading to disastrous errors when arguments are not perfectly clear. Project SAPPORO aims to propose a formal provable framework (mechanised in the (awarded) Coq proof assistant) to assess the correctness of localised distributed protocols at the core of dynamic mobile sensor networks.
Partners (7)
Start a new DMP in Research Footprint
Total research products
Research products
Openness
Last 5 Years
Impact
citations 0
Fields of Science
SDGs
Data Sources
Loading
An emergent trend has recently received significant attention: networks of passively and/or actively mobile sensors (that is, swarms of robots). These robots are able to execute collectively various complex tasks; one application being for example to optimise the coverage of interest zones under natural or human disaster, and help in search and rescue tasks. A characteristic feature is the extreme dynamism of their structure, content, load, and even execution environment. Possibly the subjects to Byzantine failures, obtaining certified guarantees on their behaviour is a crucial issue, as they belong to an area of computer science well-known for being remarkably harsh on informal reasoning, possibly leading to disastrous errors when arguments are not perfectly clear. Project SAPPORO aims to propose a formal provable framework (mechanised in the (awarded) Coq proof assistant) to assess the correctness of localised distributed protocols at the core of dynamic mobile sensor networks.
We use cookies
This website uses essential cookies to ensure its proper operation and tracking cookies to understand how you interact with it. The latter will be set only upon approval.
Read more about our Cookies policy.
Read more about our Cookies policy.
Cookie Usage
We use cookies to ensure the basic functionalities of the website and to enhance your online experience. You can choose for each category to opt-in/out whenever you want.
- Strictly necessary cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name consent Description This cookie holds user cookies consent info. Provider OpenAIRE Expiration 395 days Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name openAIRESession Description Stores the user session ID for OpenAIRE Services. Provider OpenAIRE Expiration Session Name AccessToken Description Stores a JSON Web Token (JWT) used to authenticate the user's access to protected services. Provider OpenAIRE Expiration 1 hour Name jsCheck Description Checks whether the client has javascript enabled. Provider System Expiration Session Name verifiedUser Description Indicates that the user has been verified as human. Provider System Expiration 1 day Name reload- Description Stores a list of URLs for redirection to ensure smooth navigation. Provider System Expiration Session
- Preferences cookiesThese cookies help us to improve your online experience, and store some of your preferences.
- Analytical cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name ^_pk_id Description Used to store a few details about the user such as the unique visitor ID. Provider Matomo Expiration 13 months Name ^_pk_ses Description Short lived cookies used to temporarily store data for the visit. Provider Matomo Expiration 30 minutes
Detailed information about how we handle cookies could be found in our Cookies policy.
Cookie preferences