Prakash Panangaden

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 70

Top Venues

CoRR

LICS

ACM SIGLOG News

MFPS

Publications

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Polynomial Lawvere Logic. CoRR (2024)
Prakash Panangaden
Semantics Column. ACM SIGLOG News 11 (3) (2024)
Prakash Panangaden
Semantics Column. ACM SIGLOG News 11 (2) (2024)
Jonathan Colaço Carr, Prakash Panangaden, Doina Precup
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. AISTATS (2024)
Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau
Optimal Approximate Minimization of One-Letter Weighted Finite Automata. CoRR (2023)
Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. CoRR (2023)
Linan Chen, Florence Clerc, Prakash Panangaden
Behavioural equivalences for continuous-time Markov processes. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Linan Chen, Florence Clerc, Prakash Panangaden
Behavioural pseudometrics for continuous-time diffusions. CoRR (2023)
Jonathan Colaco Carr, Prakash Panangaden, Doina Precup
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. CoRR (2023)
Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup
Policy Gradient Methods in the Presence of Symmetries and State Abstractions. CoRR (2023)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Propositional Logics for the Lawvere Quantale. CoRR (2023)
Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. Trans. Mach. Learn. Res. 2023 (2023)
Nicolas Gagné, Prakash Panangaden
A categorical characterization of relative entropy on standard Borel spaces. Log. Methods Comput. Sci. 19 (4) (2023)
Chin-Wei Huang, Milad Aghajohari, Avishek Joey Bose, Prakash Panangaden, Aaron C. Courville
Riemannian Diffusion Models. CoRR (2022)
Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. NeurIPS (2022)
Borja Balle, Pascale Gourdeau, Prakash Panangaden
Bisimulation metrics and norms for real-weighted automata. Inf. Comput. 282 (2022)
Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. CoRR (2022)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Sum and Tensor of Quantitative Effects. CoRR (2022)
Georg Northoff, Maia Fraser, John Griffiths, Dimitris A. Pinotsis, Prakash Panangaden, Rosalyn J. Moran, Karl J. Friston
Augmenting Human Selves Through Artificial Agents - Lessons From the Brain. Frontiers Comput. Neurosci. 16 (2022)
Chin-Wei Huang, Milad Aghajohari, Joey Bose, Prakash Panangaden, Aaron C. Courville
Riemannian Diffusion Models. NeurIPS (2022)
Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. CoRR (2022)
Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
MICo: Learning improved representations via sampling-based state similarity for Markov decision processes. CoRR (2021)
Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
Extracting Weighted Automata for Approximate Minimization in Language Modelling. CoRR (2021)
Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. ICALP (2021)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. LICS (2021)
Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR (2021)
Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. CoRR (2021)
Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
Extracting Weighted Automata for Approximate Minimization in Language Modelling. ICGI (2021)
Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
MICo: Improved representations via sampling-based state similarity for Markov decision processes. NeurIPS (2021)
Artem Kaznatcheev, Prakash Panangaden
Weighted automata are compact and actively learnable. Inf. Process. Lett. 171 (2021)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Tensor of Quantitative Equational Theories. CALCO (2021)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic λ-Calculus. LICS (2021)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. CoRR (2021)
Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton
Latent Variable Modelling with Hyperbolic Normalizing Flows. ICML (2020)
Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. AISTATS (2020)
Gavin McCracken, Colin Daniels, Rosie Zhao, Anna Brandenberger, Prakash Panangaden, Doina Precup
A Study of Policy Gradient on a Class of Exactly Solvable Models. CoRR (2020)
Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton
Latent Variable Modelling with Hyperbolic Normalizing Flows. CoRR (2020)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic Lambda-Calculus. CoRR (2020)
Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. CoRR (2020)
Artem Kaznatcheev, Prakash Panangaden
Weighted automata are compact and actively learnable. CoRR (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Linan Chen, Florence Clerc, Prakash Panangaden
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS (2020)
Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup
Temporally Extended Metrics for Markov Decision Processes. SafeAI@AAAI (2019)
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation for Feller-Dynkin Processes. MFPS (2019)
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation for Feller-Dynkin Processes. CoRR (2019)
Borja Balle, Prakash Panangaden, Doina Precup
Singular value automata and approximate minimization. Math. Struct. Comput. Sci. 29 (9) (2019)
Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. 267 (2019)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14 (3) (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the Axiomatizability of Quantitative Algebras. CoRR (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. CoRR (2018)
Nicolas Gagné, Prakash Panangaden
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS (2018)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
An Algebraic Theory of Markov Processes. LICS (2018)
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS (2018)
Borja Balle, Prakash Panangaden, Doina Precup
Singular value automata and approximate minimization. CoRR (2017)
Prakash Panangaden
2017 LICS test-of-time award. ACM SIGLOG News 4 (3) (2017)
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Unrestricted stone duality for Markov processes. LICS (2017)
Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
Expressiveness of Probabilistic Modal Logics, Revisited. ICALP (2017)
Borja Balle, Pascale Gourdeau, Prakash Panangaden
Bisimulation Metrics for Weighted Automata. CoRR (2017)
Prakash Panangaden
2017 Kleene award. ACM SIGLOG News 4 (3) (2017)
Borja Balle, Pascale Gourdeau, Prakash Panangaden
Bisimulation Metrics for Weighted Automata. ICALP (2017)
Nicolas Gagné, Prakash Panangaden
A categorical characterization of relative entropy on Polish spaces. CoRR (2017)
Florence Clerc, Harrison Humphrey, Prakash Panangaden
Bicategories of Markov Processes. Models, Algorithms, Logics and Tools (2017)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the axiomatizability of quantitative algebras. LICS (2017)
Prakash Panangaden
The 2017 Alonzo Church award. ACM SIGLOG News 4 (3) (2017)
Prakash Panangaden
Editorial comments on the short note by Barry Jay. J. Log. Algebraic Methods Program. 87 (2017)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Quantitative Algebraic Reasoning. LICS (2016)
Ichiro Hasuo, Prakash Panangaden
Special Issue on Quantum Physics and Logic. New Gener. Comput. 34 (1-2) (2016)
Michael W. Mislove, Prakash Panangaden
Semantics column. ACM SIGLOG News 3 (3) (2016)
Matty Hoban, Bart Jacobs, Prakash Panangaden
Preface. Inf. Comput. 250 (2016)
Prakash Panangaden
Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods (2016)
Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar
On the Formal Verification of Optical Quantum Gates in HOL. FMICS (2015)
Borja Balle, Prakash Panangaden, Doina Precup
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR (2015)
Borja Balle, Prakash Panangaden, Doina Precup
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS (2015)
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI (2015)
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI (2015)
Prakash Panangaden
Probabilistic bisimulation. ACM SIGLOG News 2 (3) (2015)
Costin Badescu, Prakash Panangaden
Quantum Alternation: Prospects and Problems. QPL (2015)
Gheorghe Comanici, Doina Precup, Prakash Panangaden
Basis refinement strategies for linear value function approximation in MDPs. NIPS (2015)
Dexter Kozen, Radu Mardare, Prakash Panangaden
A Metrized Duality Theorem for Markov Processes. MFPS (2014)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Markov Processes by Averaging. J. ACM 61 (1) (2014)
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15 (1) (2014)
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
Fair reactive programming. POPL (2014)
Prakash Panangaden
Causality in physics and computation. Theor. Comput. Sci. 546 (2014)
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics (2014)
S. Barry Cooper, Elham Kashefi, Prakash Panangaden
Preface to special issue: Developments In Computational Models 2010. Math. Struct. Comput. Sci. 23 (2) (2013)
Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Stone Duality for Markov Processes. LICS (2013)
Dexter Kozen, Radu Mardare, Prakash Panangaden
Strong Completeness for Markovian Logics. MFCS (2013)
Prakash Panangaden
Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations (2013)
Prakash Panangaden
Duality in Logic and Computation. LICS (2013)
Sophia Knight, Radu Mardare, Prakash Panangaden
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics (2012)
Gheorghe Comanici, Prakash Panangaden, Doina Precup
On-the-Fly Algorithms for Bisimulation Metrics. QEST (2012)
Norman Ferns, Prakash Panangaden, Doina Precup
Metrics for Finite Markov Decision Processes CoRR (2012)
Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
Dedication. MFPS (2012)
Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
Minimization via Duality. WoLLIC (2012)
Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13 (4) (2012)
Prakash Panangaden
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics (2012)
Norman Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden
Methods for computing state similarity in Markov Decision Processes. CoRR (2012)
Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS (2012)
Richard Blute, Prakash Panangaden, Sergey Slavnov
Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. 20 (3) (2012)
Norman Ferns, Prakash Panangaden, Doina Precup
Metrics for Markov Decision Processes with Infinite State Spaces CoRR (2012)

Prakash Panangaden.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Prakash Panangaden