Results 141 to 150 of about 8,272 (178)
Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
, 2004 openaire +1 more source
Maria Intrieri, Ermocrate Siceliota, stratego, esule
Nuova Antologia Militareopenaire +1 more source
, 2015 Uppaal Stratego is a novel tool which facilitates generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic priced timed games in a user-friendly manner. The tool allows for efficient and flexible "strategy-space" exploration before adaptation in a final implementation by maintaining strategies
David, Alexandre +4 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Playing Wordle with Uppaal Stratego
2022In this paper we model and solve the popular game Wordle using Uppaal Stratego. We model three different game-modes in terms of POMDPs, with more than 12,000 controllable actions. These constitute by far the largest models ever presented to Uppaal Stratego. Our experimental evaluation is encouraging: e.g.
Jensen, Peter G.; id_orcid 0000-0002-9320-9991 +2 more
openaire +4 more sources
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2006
Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for ...
Bravenboer, M. +3 more
openaire +2 more sources
Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for ...
Bravenboer, M. +3 more
openaire +2 more sources
XRDS: Crossroads, The ACM Magazine for Students, 2006
Programming languages have a dual role in the construction of software. The language is both our substrate (the stuff we make software from), and our tool (what we use to construct software). Program transformation (PT) deals with the analysis, manipulation and generation of software. Therefore a close relationship exists between program transformation
openaire +1 more source
Programming languages have a dual role in the construction of software. The language is both our substrate (the stuff we make software from), and our tool (what we use to construct software). Program transformation (PT) deals with the analysis, manipulation and generation of software. Therefore a close relationship exists between program transformation
openaire +1 more source
Managing Uncertainty in Stratego
ICGA Journal, 2011Stratego programming is still in its infancy. Although the best programs win occasionally against average human players, they have little chance against experts. One problem is that most Stratego programs have been modelled after perfect-information games such as chess.
openaire +1 more source
Designing agents for the Stratego game
2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP), 2018We focus here on designing agents for games with incomplete information, such that the Stratego game. We develop two playing agents that use probabilities and forward reasoning with multiple-ply. We also proposed various evaluation functions for a given position and we analyse the importance of the starting configuration.
Sergiu Redeca, Adrian Groza
openaire +1 more source
Coordinated Intelligent Traffic Lights using Uppaal Stratego
2019 11th International Conference on Communication Systems & Networks (COMSNETS), 2019Automatic decision making in traffic signal controllers, semi-automated assistance to drivers, accident detection and response, anti-collision measures in autonomous driving etc., are relatively new applications in Intelligent Transport Systems (ITS).
B. Thamilselvam +2 more
openaire +1 more source
Program Transformation with Stratego/XT
2004Stratego/XT is a framework for the development of transformation systems aiming to support a wide range of program transformations. The framework consists of the transformation language Stratego and the XT collection of transformation tools. Stratego is based on the paradigm of rewriting under the control of programmable rewriting strategies.
openaire +1 more source