Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Heim, Philippe"'
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish the existence of winning strategie
Externí odkaz:
http://arxiv.org/abs/2405.09281
Autor:
Heim, Philippe, Dimitrova, Rayna
Two-player graph games have found numerous applications, most notably in the synthesis of reactive systems from temporal specifications, but also in verification. The relevance of infinite-state systems in these areas has lead to significant attentio
Externí odkaz:
http://arxiv.org/abs/2305.16118
Autor:
Heim, Philippe, Dimitrova, Rayna
Automatic synthesis from temporal logic specifications is an attractive alternative to manual system design, due to its ability to generate correct-by-construction implementations from high-level specifications. Due to the high complexity of the synt
Externí odkaz:
http://arxiv.org/abs/2301.10032
Temporal stream logic (TSL) extends LTL with updates and predicates over arbitrary function terms. This allows for specifying data-intensive systems for which LTL is not expressive enough. In the semantics of TSL, functions and predicates are left un
Externí odkaz:
http://arxiv.org/abs/2104.14988
We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where the control flow architecture has been completely specified in Tempora
Externí odkaz:
http://arxiv.org/abs/2101.07232
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Steinmetz, Marcel, Fišer, Daniel, Enişer, Hasan Ferit, Ferber, Patrick, Gros, Timo, Heim, Philippe, Höller, Daniel, Schuler, Xandra, Wüstholz, Valentin, Christakis, Maria, Hoffmann, Jörg
Publikováno v:
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling
Testing is a promising way to gain trust in neural action policies π. Previous work on policy testing in sequential decision making targeted environment behavior leading to failure conditions. But if the failure is unavoidable given that behavior, t
Autor:
Heim, Philippe
Publikováno v:
Banque Magazine / Revue Banque. Mar2022, Issue 866, p48-51. 4p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Heim, Philippe
Th. doct.-ing.--Polymères--Mulhouse, 1987.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb376058641