• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 147 matches

• 2023
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023)
• 
  Manoj Kumar Kalra, Ashutosh Trivedi, Sanjay Kumar Shukla:
  Nonlinear Regression Analysis of Rut Profile Data for Optimal Data Storage and Efficient Terrain Condition Analysis. IEEE Geosci. Remote. Sens. Lett. 20: 1-5 (2023)
• 
  Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi:
  Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI 2023: 14792-14800
• 
  Amin Falah, Shibashis Guha, Ashutosh Trivedi:
  Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS 2023: 578-586
• 
  Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez:
  LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS 2023: 2857-2859
• 
  Taylor Dohmen, Ashutosh Trivedi:
  Reinforcement Learning with Depreciating Assets. AAMAS 2023: 2628-2630
• 
  Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
  Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) 2023: 415-435
• 
  Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski:
  The Octatope Abstract Domain for Verification of Neural Networks. FM 2023: 454-472
• 
  Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari:
  Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. ICSE 2023: 1571-1582
• 
  Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi:
  Metamorphic Testing and Debugging of Tax Preparation Software. ICSE (SEIS) 2023: 138-149
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) 2023: 527-545
• 
  Taylor Dohmen, Ashutosh Trivedi:
  Reinforcement Learning with Depreciating Assets. CoRR abs/2302.14176 (2023)
• 
  Amin Falah, Shibashis Guha, Ashutosh Trivedi:
  Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR abs/2303.09528 (2023)
• 
  Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari:
  Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. CoRR abs/2304.04199 (2023)
• 
  Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi:
  Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR abs/2305.17115 (2023)
• 
  Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
  Closure Certificates. CoRR abs/2305.17519 (2023)
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023)
• 2022
• 
  Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
  Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53: 30-50 (2022)
• 
  Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
  A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6: 3247-3252 (2022)
• 
  Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez:
  Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS 2022: 574-582
• 
  Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez:
  Active Grammatical Inference for Non-Markovian Planning. ICAPS 2022: 647-651
• 
  Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez:
  Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning. AAMAS 2022: 732-741
• 
  Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia:
  Controller Synthesis for Omega-Regular and Steady-State Specifications. AAMAS 2022: 1310-1318
• 
  Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi:
  Optimal Repair for Omega-Regular Properties. ATVA 2022: 354-370
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Alternating Good-for-MDPs Automata. ATVA 2022: 303-319
• 
  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
  Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7
• 
  Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
  k-Inductive Barrier Certificates for Stochastic Systems. HSCC 2022: 12:1-12:11
• 
  Ashutosh Kumar Trivedi, Abhishek Tiwari, Sriparna Saha, Anutosh Maitra, Roshni R. Ramnani, Shubhashis Sengupta:
  Towards Sentiment and Emotion aided Intent Detection. ICPR 2022: 2510-2516
• 
  Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi:
  Fairness-aware Configuration of Machine Learning Libraries. ICSE 2022: 909-920

skipping 117 more matches