Old Web
English
Sign In
Acemap
>
Paper
>
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.
2019
Bastien Maubert
Aniello Murano
Pasquale Perillo
Sasha Rubin
Alessio Spasiano
Keywords:
Computer science
Discrete mathematics
Bounded function
Theoretical computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
6
References
0
Citations
NaN
KQI
[]