- Home
- Publications
- Publication Search
- Publication Details
Title
A toolchain for strategy synthesis with spatial properties
Authors
Keywords
-
Journal
International Journal on Software Tools for Technology Transfer
Volume -, Issue -, Pages -
Publisher
Springer Science and Business Media LLC
Online
2023-11-02
DOI
10.1007/s10009-023-00730-1
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Supervisory Control for Dynamic Feature Configuration in Product Lines
- (2023) Sander Thuijsman et al. ACM Transactions on Embedded Computing Systems
- Research Challenges in Orchestration Synthesis
- (2023) Davide Basile et al. Electronic Proceedings in Theoretical Computer Science
- Formal Methods in Railways: a Systematic Mapping Study
- (2022) Alessio Ferrari et al. ACM COMPUTING SURVEYS
- Verifiable strategy synthesis for multiple autonomous agents: a scalable approach
- (2022) Rong Gu et al. International Journal on Software Tools for Technology Transfer
- Multi-Agent Motion Planning From Signal Temporal Logic Specifications
- (2022) Dawei Sun et al. IEEE Robotics and Automation Letters
- Contract Automata Library
- (2022) Davide Basile et al. SCIENCE OF COMPUTER PROGRAMMING
- Geometric Model Checking of Continuous Space
- (2022) Nick Bezhanishvili et al. Logical Methods in Computer Science
- Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker
- (2021) Davide Basile et al. FORMAL ASPECTS OF COMPUTING
- A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities
- (2021) Meiyi Ma et al. IEEE Internet of Things Journal
- Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications
- (2020) Zhiyu Liu et al. IEEE Transactions on Control of Network Systems
- Spatial logics and model checking for medical imaging
- (2019) Fabrizio Banci Buonamici et al. International Journal on Software Tools for Technology Transfer
- Practical synthesis of reactive systems from LTL specifications via parity games
- (2019) Michael Luttenberger et al. ACTA INFORMATICA
- Controller synthesis of service contracts with variability
- (2019) Davide Basile et al. SCIENCE OF COMPUTER PROGRAMMING
- Spatio-temporal model checking of vehicular movement in public transport systems
- (2018) Vincenzo Ciancia et al. International Journal on Software Tools for Technology Transfer
- Supervisory Control for Behavior Composition
- (2017) Paolo Felli et al. IEEE TRANSACTIONS ON AUTOMATIC CONTROL
- Model Checking Spatial Logics for Closure Spaces
- (2017) Vincenzo Ciancia et al. Logical Methods in Computer Science
- Automata for Analysing Service Contracts
- (2017) Davide Basile et al. Logical Methods in Computer Science
- Supervisory control and reactive synthesis: a comparative introduction
- (2016) Rüdiger Ehlers et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
- Relating two automata-based models of orchestration and choreography
- (2016) D. Basile et al. Journal of Logical and Algebraic Methods in Programming
- Multi-agent plan reconfiguration under local LTL specifications
- (2014) Meng Guo et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Improving evolvability of a patient communication control system using state-based supervisory control synthesis
- (2012) R.J.M. Theunissen et al. ADVANCED ENGINEERING INFORMATICS
- Application of supervisory control theory to theme park vehicles
- (2012) Stefan T. J. Forschelen et al. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started