E-LIB Suche - Ergebnisse für: Bansal, Suguman

1

Model Checking Strategies from Synthesis over Finite Traces:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Bansal, Suguman ; Li, Yong ; Tabajara, Lucas M... - p. 227-247 , 2023

Link: https://doi.org/10.1007/..

2

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023

Link: https://doi.org/10.1007/..

3

Automata-Based Quantitative Reasoning:

Bansal, Suguman
ACM SIGLOG News. 10 (2023) 3 - p. 4-19 , 2023

Link: https://doi.org/10.1145/..

4

Comparator automata in quantitative verification:

Bansal, Suguman ; Chaudhuri, Swarat ; Vardi, Moshe Y.
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

5

Specification-Guided Reinforcement Learning:

, In: Static Analysis; Lecture Notes in Computer Science,

Bansal, Suguman - p. 3-9 , 2022

Link: https://doi.org/10.1007/..

6

Specification-Guided Learning of Nash Equilibria with High ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Jothimurugan, Kishor ; Bansal, Suguman ; Bastani, Osbert. - p. 343-363 , 2022

Link: https://doi.org/10.1007/..

7

A Framework for Transforming Specifications in Reinforcemen..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Alur, Rajeev ; Bansal, Suguman ; Bastani, Osbert. - p. 604-624 , 2022

Link: https://doi.org/10.1007/..

8

Adapting Behaviors via Reactive Synthesis:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Amram, Gal ; Bansal, Suguman ; Fried, Dror... - p. 870-893 , 2021

Link: https://doi.org/10.1007/..

9

On Satisficing in Quantitative Games:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bansal, Suguman ; Chatterjee, Krishnendu ; Vardi, Moshe Y. - p. 20-37 , 2021

Link: https://doi.org/10.1007/..

10

Safety and Co-safety Comparator Automata for Discounted-Sum..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Bansal, Suguman ; Vardi, Moshe Y. - p. 60-78 , 2019

Link: https://doi.org/10.1007/..

11

Synthesis of coordination programs from linear temporal spe..:

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://dl.acm.org/doi/1..

12

Synthesis of coordination programs from linear temporal spe..:

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://doi.org/10.1145/..

13

Comparator Automata in Quantitative Verification:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Bansal, Suguman ; Chaudhuri, Swarat ; Vardi, Moshe Y. - p. 420-437 , 2018

Link: https://doi.org/10.1007/..

14

Synthesis of Asynchronous Reactive Programs from Temporal S..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv - p. 367-385 , 2018

Link: https://doi.org/10.1007/..

15

Automata vs Linear-Programming Discounted-Sum Inclusion:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Bansal, Suguman ; Chaudhuri, Swarat ; Vardi, Moshe Y. - p. 99-116 , 2018

Link: https://doi.org/10.1007/..