Reactive Synthesis for Robotic Swarms

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-00151-3_5 ◽

2018 ◽

pp. 71-87 ◽

Author(s):

Salar Moarref ◽

Hadas Kress-Gazit

Keyword(s):

Reactive Synthesis ◽

Download Full-text

Reactive synthesis of ceramic materials in microgravity

10.2514/6.1995-265 ◽

1995 ◽

Author(s):

C Lantz ◽

P Tefft ◽

J Moore ◽

D Ready

Keyword(s):

Ceramic Materials ◽

Reactive Synthesis

Download Full-text

Just-in-time reactive synthesis

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416557 ◽

2020 ◽

Author(s):

Shahar Maoz ◽

Ilia Shevrin

Keyword(s):

Just In Time ◽

Reactive Synthesis

Download Full-text

Reactive synthesis of intermetallics

Materials & Design (1980-2015) ◽

10.1016/0261-3069(93)90116-d ◽

1993 ◽

Vol 14 (6) ◽

pp. 365

Author(s):

René M. Cooper

Keyword(s):

Reactive Synthesis

Download Full-text

Reactive synthesis for finite tasks under resource constraints

2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ◽

10.1109/iros.2017.8206426 ◽

2017 ◽

Author(s):

Keliang He ◽

Morteza Lahijanian ◽

Lydia E. Kavraki ◽

Moshe Y. Vardi

Keyword(s):

Resource Constraints ◽

Reactive Synthesis

Download Full-text

Communication packet loss concealment for pattern generation with robotic swarms

2015 IEEE International Conference on Advanced Intelligent Mechatronics (AIM) ◽

10.1109/aim.2015.7222590 ◽

2015 ◽

Author(s):

Atsushi Shinnoh ◽

Nak Young Chong ◽

Geunho Lee

Keyword(s):

Packet Loss ◽

Pattern Generation ◽

Download Full-text

Reactive Synthesis from Interval Temporal Logic Specifications

Theoretical Computer Science ◽

10.1016/j.tcs.2021.11.023 ◽

2021 ◽

Author(s):

Angelo Montanari ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Reactive Synthesis ◽

Interval Temporal Logic

Download Full-text

Can reactive synthesis and syntax-guided synthesis be friends?

10.1145/3484271.3484972 ◽

2021 ◽

Author(s):

Wonhyuk Choi

Keyword(s):

Reactive Synthesis

Download Full-text

Porous FeAl intermetallics fabricated by elemental powder reactive synthesis

Intermetallics ◽

10.1016/j.intermet.2009.05.007 ◽

2009 ◽

Vol 17 (12) ◽

pp. 1041-1046 ◽

Author(s):

Haiyan Gao ◽

Yuehui He ◽

Peizhi Shen ◽

Jin Zou ◽

Nanping Xu ◽

...

Keyword(s):

Elemental Powder ◽

Reactive Synthesis

Download Full-text

Robotic Swarms for Mine Detection System of Systems Approach

Intelligent Control Systems with an Introduction to System of Systems Engineering ◽

10.1201/9781315218649-12 ◽

2018 ◽

pp. 363-415

Author(s):

Thrishantha Nanayakkara ◽

Ferat Sahin ◽

Mo Jamshidi

Keyword(s):

Systems Approach ◽

Detection System ◽

System Of Systems ◽

Mine Detection ◽

Download Full-text

Distributed Coordination of Heterogeneous Robotic Swarms Using Stochastic Diffusion Search

Lecture Notes in Computer Science - Intelligent Data Engineering and Automated Learning – IDEAL 2020 ◽

10.1007/978-3-030-62365-4_8 ◽

2020 ◽

pp. 79-91

Author(s):

Eneko Osaba ◽

Javier Del Ser ◽

Xabier Jubeto ◽

Andrés Iglesias ◽

Iztok Fister ◽

...

Keyword(s):

Distributed Coordination ◽

Stochastic Diffusion ◽

Robotic Swarms ◽

Stochastic Diffusion Search

Download Full-text