On the software engineering challenges of applying reactive synthesis to robotics
S Maoz, JO Ringert - Proceedings of the 1st International Workshop on …, 2018 - dl.acm.org
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. This short paper discusses the software …
system from its temporal logic specification. This short paper discusses the software …
Inherent vacuity for GR (1) specifications
S Maoz, R Shalom - Proceedings of the 28th ACM Joint Meeting on …, 2020 - dl.acm.org
Vacuity is a well-known quality issue in formal specifications, studied mostly in the context of
model checking. Inherent vacuity is a type of vacuity that applies to specifications, without …
model checking. Inherent vacuity is a type of vacuity that applies to specifications, without …
Just-in-time reactive synthesis
S Maoz, I Shevrin - Proceedings of the 35th IEEE/ACM International …, 2020 - dl.acm.org
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. GR (1) is an expressive assume-guarantee …
system from its temporal logic specification. GR (1) is an expressive assume-guarantee …
Validating the correctness of reactive systems specifications through systematic exploration
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive
system from its temporal logic specification. While the synthesized system is guaranteed to …
system from its temporal logic specification. While the synthesized system is guaranteed to …
VMAIL voice enabled mail reader
KVN Sunitha, N Kalyani - 2010 International Conference on …, 2010 - ieeexplore.ieee.org
As the technology advances the human needs do grow towards comfort. VMAIL-Voice
Enabled Mail Reader, system developed for person who requires comfort and is essential …
Enabled Mail Reader, system developed for person who requires comfort and is essential …