Search Results - RAJEEV ALUR

Refine Results
  1. 101
    Real-time system = discrete system + clock variables

    Real-time system = discrete system + clock variables by Alur, Rajeev, A., Thomas

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 102
    Polyhedral Flows in Hybrid Automata

    Polyhedral Flows in Hybrid Automata by Alur, Rajeev, Kannan, Sampath, La Torre, Salvatore

    Get full text
    Article
    Save to List
    Saved in:
  3. 103
    Equilibria in Quantitative Concurrent Games

    Equilibria in Quantitative Concurrent Games by Almagor, Shaull, Alur, Rajeev, Bansal, Suguman

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 104
    Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

    Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks by Xue, Anton, Lindemann, Lars, Robey, Alexander, Hassani, Hamed, Pappas, George J, Alur, Rajeev

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 105
    Results and Analysis of SyGuS-Comp'15

    Results and Analysis of SyGuS-Comp'15 by Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 106
    Modeling and analyzing biomolecular networks

    Modeling and analyzing biomolecular networks by Alur, R., Belta, C., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 107
    Games for formal design and verification of reactive systems

    Games for formal design and verification of reactive systems

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 108
    Streamable Regular Transductions

    Streamable Regular Transductions by Alur, Rajeev, Fisman, Dana, Mamouras, Konstantinos, Raghothaman, Mukund, Stanford, Caleb

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 109
    SyGuS-Comp 2018: Results and Analysis

    SyGuS-Comp 2018: Results and Analysis by Alur, Rajeev, Fisman, Dana, Padhi, Saswat, Singh, Rishabh, Udupa, Abhishek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 110
    Decision Problems for Additive Regular Functions

    Decision Problems for Additive Regular Functions by Alur, Rajeev, Raghothaman, Mukund

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 111
    Theory in practice for system design and verification

    Theory in practice for system design and verification by Alur, Rajeev, Henzinger, Thomas A., Vardi, Moshe Y.

    Published in SIGLOG news
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 112
    Alternating-time temporal logic

    Alternating-time temporal logic by Alur, Rajeev, Henzinger, Thomas A., Kupferman, Orna

    Get full text
    Article
    Save to List
    Saved in:
  13. 113
    Undecidability of partial order logics

    Undecidability of partial order logics by Alur, Rajeev, Peled, Doron

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 114
    Inference of message sequence charts

    Inference of message sequence charts by Alur, Rajeev, Etessami, Kousha, Yannakakis, Mihalis

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 115
    Model checking of hierarchical state machines

    Model checking of hierarchical state machines by Alur, Rajeev, Yannakakis, Mihalis

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 116
    Time-adaptive algorithms for synchronization

    Time-adaptive algorithms for synchronization by ALUR, R, ATTIYA, H, TAUBENFELD, G

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 117
    Streaming Tree Transducers

    Streaming Tree Transducers by Alur, Rajeev, D'Antoni, Loris

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 118
    Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

    Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller by Ivanov, Radoslav, Carpenter, Taylor J, Weimer, James, Alur, Rajeev, Pappas, George J, Lee, Insup

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 119
    Relating average and discounted costs for quantitative analysis of timed systems

    Relating average and discounted costs for quantitative analysis of timed systems by Alur, Rajeev, Trivedi, Ashutosh

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 120
    Games for formal design and verification of reactive systems

    Games for formal design and verification of reactive systems by Alur, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: