Automated formal synthesis of provably safe digital controllers for continuous plants.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 223, doi. 10.1007/s00236-019-00359-1
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2020 AND VI 57 AND IP 1/2
Results: 11
1
2
Parameterized synthesis of self-stabilizing protocols in symmetric networks.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 271, doi. 10.1007/s00236-019-00361-7
- By:
- Publication type:
- Article
3
Synthesis from hyperproperties.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 137, doi. 10.1007/s00236-019-00358-2
- By:
- Publication type:
- Article
4
Preface for the SYNT.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
5
Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 3, doi. 10.1007/s00236-019-00349-3
- By:
- Publication type:
- Article
6
Performance heuristics for GR(1) synthesis and related algorithms.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 37, doi. 10.1007/s00236-019-00351-9
- By:
- Publication type:
- Article
7
Reactive synthesis with maximum realizability of linear temporal logic specifications.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 107, doi. 10.1007/s00236-019-00348-4
- By:
- Publication type:
- Article
8
Synthesizing optimally resilient controllers.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 195, doi. 10.1007/s00236-019-00345-7
- By:
- Publication type:
- Article
9
A symbolic algorithm for lazy synthesis of eager strategies.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 81, doi. 10.1007/s00236-019-00344-8
- By:
- Publication type:
- Article
10
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 245, doi. 10.1007/s00236-019-00341-x
- By:
- Publication type:
- Article
11
Programming by predicates: a formal model for interactive synthesis.
- Published in:
- Acta Informatica, 2020, v. 57, n. 1/2, p. 165, doi. 10.1007/s00236-019-00340-y
- By:
- Publication type:
- Article