default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPrakash Panangaden
Person information
- affiliation: McGill University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j61]Prakash Panangaden:
Semantics Column. ACM SIGLOG News 11(2): 3 (2024)- [j60]Prakash Panangaden:
Semantics Column. ACM SIGLOG News 11(3): 4 (2024) - [c125]Jonathan Colaço Carr, Prakash Panangaden, Doina Precup:
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. AISTATS 2024: 3916-3924 - [i37]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Polynomial Lawvere Logic. CoRR abs/2402.03543 (2024) - 2023
- [j59]Nicolas Gagné, Prakash Panangaden:
A categorical characterization of relative entropy on standard Borel spaces. Log. Methods Comput. Sci. 19(4) (2023) - [j58]Linan Chen, Florence Clerc
, Prakash Panangaden:
Behavioural equivalences for continuous-time Markov processes. Math. Struct. Comput. Sci. 33(4-5): 222-258 (2023) - [j57]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) - [c124]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Propositional Logics for the Lawvere Quantale. MFPS 2023 - [i36]Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup:
Policy Gradient Methods in the Presence of Symmetries and State Abstractions. CoRR abs/2305.05666 (2023) - [i35]Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau:
Optimal Approximate Minimization of One-Letter Weighted Finite Automata. CoRR abs/2306.00135 (2023) - [i34]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. CoRR abs/2310.19804 (2023) - [i33]Jonathan Colaço Carr, Prakash Panangaden, Doina Precup:
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. CoRR abs/2311.01990 (2023) - [i32]Linan Chen, Florence Clerc, Prakash Panangaden:
Behavioural pseudometrics for continuous-time diffusions. CoRR abs/2312.16729 (2023) - 2022
- [j56]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) - [j55]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation metrics and norms for real-weighted automata. Inf. Comput. 282: 104649 (2022) - [c123]Chin-Wei Huang, Milad Aghajohari, Joey Bose, Prakash Panangaden, Aaron C. Courville:
Riemannian Diffusion Models. NeurIPS 2022 - [c122]Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup:
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. NeurIPS 2022 - [i31]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. CoRR abs/2206.00172 (2022) - [i30]Chin-Wei Huang, Milad Aghajohari, Avishek Joey Bose, Prakash Panangaden, Aaron C. Courville:
Riemannian Diffusion Models. CoRR abs/2208.07949 (2022) - [i29]Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup:
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. CoRR abs/2209.07364 (2022) - [i28]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Sum and Tensor of Quantitative Effects. CoRR abs/2212.11784 (2022) - 2021
- [j54]Artem Kaznatcheev, Prakash Panangaden:
Weighted automata are compact and actively learnable. Inf. Process. Lett. 171: 106133 (2021) - [c121]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Tensor of Quantitative Equational Theories. CALCO 2021: 7:1-7:17 - [c120]Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau:
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. ICALP 2021: 118:1-118:20 - [c119]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Extracting Weighted Automata for Approximate Minimization in Language Modelling. ICGI 2021: 92-112 - [c118]Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts:
Universal Semantics for the Stochastic λ-Calculus. LICS 2021: 1-12 - [c117]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Fixed-Points for Quantitative Equational Logics. LICS 2021: 1-13 - [c116]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
MICo: Improved representations via sampling-based state similarity for Markov decision processes. NeurIPS 2021: 30113-30126 - [e14]Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents] - [i27]Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau:
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. CoRR abs/2102.06860 (2021) - [i26]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Extracting Weighted Automata for Approximate Minimization in Language Modelling. CoRR abs/2106.02965 (2021) - [i25]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
MICo: Learning improved representations via sampling-based state similarity for Markov decision processes. CoRR abs/2106.08229 (2021) - [i24]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Fixed-Points for Quantitative Equational Logics. CoRR abs/2106.15932 (2021) - [i23]Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott:
Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR abs/2112.06339 (2021) - 2020
- [c115]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. AISTATS 2020: 4357-4366 - [c114]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. ICML 2020: 1045-1055 - [c113]Linan Chen, Florence Clerc, Prakash Panangaden:
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS 2020: 53-77 - [i22]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. CoRR abs/2002.06336 (2020) - [i21]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. CoRR abs/2003.12239 (2020) - [i20]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i19]Gavin McCracken, Colin Daniels, Rosie Zhao, Anna M. Brandenberger, Prakash Panangaden, Doina Precup:
A Study of Policy Gradient on a Class of Exactly Solvable Models. CoRR abs/2011.01859 (2020) - [i18]Artem Kaznatcheev, Prakash Panangaden:
Weighted automata are compact and actively learnable. CoRR abs/2011.10498 (2020) - [i17]Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts:
Universal Semantics for the Stochastic Lambda-Calculus. CoRR abs/2011.13171 (2020)
2010 – 2019
- 2019
- [j53]Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. 267: 145-163 (2019) - [j52]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. Math. Struct. Comput. Sci. 29(9): 1444-1478 (2019) - [c112]Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup:
Temporally Extended Metrics for Markov Decision Processes. SafeAI@AAAI 2019 - [c111]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. MFPS 2019: 45-63 - [i16]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. CoRR abs/1904.00976 (2019) - 2018
- [j51]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14(3) (2018) - [c110]Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott:
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS 2018: 669-678 - [c109]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
An Algebraic Theory of Markov Processes. LICS 2018: 679-688 - [c108]Nicolas Gagné, Prakash Panangaden:
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS 2018: 135-153 - [i15]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. CoRR abs/1802.07366 (2018) - [i14]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the Axiomatizability of Quantitative Algebras. CoRR abs/1804.01682 (2018) - 2017
- [j50]Prakash Panangaden:
Editorial comments on the short note by Barry Jay. J. Log. Algebraic Methods Program. 87: 4 (2017) - [j49]Prakash Panangaden:
The 2017 Alonzo Church award. ACM SIGLOG News 4(3): 3-9 (2017) - [j48]Prakash Panangaden:
2017 LICS test-of-time award. ACM SIGLOG News 4(3): 10 (2017) - [j47]Prakash Panangaden:
2017 Kleene award. ACM SIGLOG News 4(3): 10 (2017) - [c107]Florence Clerc, Harrison Humphrey, Prakash Panangaden:
Bicategories of Markov Processes. Models, Algorithms, Logics and Tools 2017: 112-124 - [c106]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. ICALP 2017: 103:1-103:14 - [c105]Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of Probabilistic Modal Logics, Revisited. ICALP 2017: 105:1-105:12 - [c104]Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Unrestricted stone duality for Markov processes. LICS 2017: 1-9 - [c103]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the axiomatizability of quantitative algebras. LICS 2017: 1-12 - [i13]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. CoRR abs/1702.08017 (2017) - [i12]Nicolas Gagné, Prakash Panangaden:
A categorical characterization of relative entropy on Polish spaces. CoRR abs/1703.08853 (2017) - [i11]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. CoRR abs/1711.05994 (2017) - 2016
- [j46]Matty Hoban, Bart Jacobs, Prakash Panangaden:
Preface. Inf. Comput. 250: 1-2 (2016) - [j45]Ichiro Hasuo, Prakash Panangaden:
Special Issue on Quantum Physics and Logic. New Gener. Comput. 34(1-2): 1-2 (2016) - [j44]Michael W. Mislove, Prakash Panangaden:
Semantics column. ACM SIGLOG News 3(3): 44-46 (2016) - [c102]Prakash Panangaden:
Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods 2016: 6-8 - [c101]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Quantitative Algebraic Reasoning. LICS 2016: 700-709 - 2015
- [j43]Prakash Panangaden:
Probabilistic bisimulation. ACM SIGLOG News 2(3): 72-84 (2015) - [c100]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 3578-3584 - [c99]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 4202-4203 - [c98]Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. FMICS 2015: 198-211 - [c97]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS 2015: 701-712 - [c96]Gheorghe Comanici, Doina Precup, Prakash Panangaden:
Basis refinement strategies for linear value function approximation in MDPs. NIPS 2015: 2899-2907 - [c95]Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. QPL 2015: 33-42 - [i10]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR abs/1501.06841 (2015) - 2014
- [j42]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. J. ACM 61(1): 5:1-5:45 (2014) - [j41]Prakash Panangaden:
Causality in physics and computation. Theor. Comput. Sci. 546: 10-16 (2014) - [j40]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): 3:1-3:29 (2014) - [c94]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: 90-107 - [c93]Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka:
Fair reactive programming. POPL 2014: 361-372 - [c92]Dexter Kozen, Radu Mardare, Prakash Panangaden:
A Metrized Duality Theorem for Markov Processes. MFPS 2014: 211-227 - [e13]Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents] - [e12]Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - 2013
- [j39]S. Barry Cooper, Elham Kashefi, Prakash Panangaden:
Preface to special issue: Developments In Computational Models 2010. Math. Struct. Comput. Sci. 23(2): 201-203 (2013) - [c91]Prakash Panangaden:
Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations 2013: 277-290 - [c90]Prakash Panangaden:
Duality in Logic and Computation. LICS 2013: 4-11 - [c89]Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Stone Duality for Markov Processes. LICS 2013: 321-330 - [c88]Dexter Kozen, Radu Mardare, Prakash Panangaden:
Strong Completeness for Markovian Logics. MFCS 2013: 655-666 - [e11]Bob Coecke, Luke Ong, Prakash Panangaden:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents] - 2012
- [j38]Richard Blute, Prakash Panangaden, Sergey Slavnov:
Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. 20(3): 209-228 (2012) - [j37]Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13(4): 28:1-28:35 (2012) - [c87]Sophia Knight, Radu Mardare, Prakash Panangaden:
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics 2012: 219-243 - [c86]Prakash Panangaden:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics 2012: 334-337 - [c85]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia:
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332 - [c84]Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden:
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692 - [c83]Gheorghe Comanici, Prakash Panangaden, Doina Precup:
On-the-Fly Algorithms for Bisimulation Metrics. QEST 2012: 94-103 - [c82]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden:
Minimization via Duality. WoLLIC 2012: 191-205 - [c81]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3 - [p2]Prakash Panangaden:
Probabilistic bisimulation. Advanced Topics in Bisimulation and Coinduction 2012: 290-323 - [i9]Norman Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden:
Methods for computing state similarity in Markov Decision Processes. CoRR abs/1206.6836 (2012) - [i8]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. CoRR abs/1207.1386 (2012) - [i7]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. CoRR abs/1207.4114 (2012) - 2011
- [j36]Norm Ferns, Prakash Panangaden, Doina Precup:
Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. 40(6): 1662-1714 (2011) - [c80]Prakash Panangaden:
Quantum Information Channels in Curved Spacetime. CiE 2011: 221-229 - [c79]Prakash Panangaden:
The Search for Structure in Quantum Computation. FoSSaCS 2011: 1-11 - [c78]Prakash Panangaden:
The Meaning of Semantics. LICS 2011: 4-5 - [c77]Monica Dinculescu, Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC 2011: 206-230 - [e10]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents] - [e9]Bob Coecke, Prakash Panangaden, Peter Selinger:
Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009. Electronic Notes in Theoretical Computer Science 270(2), Elsevier 2011 [contents] - 2010
- [j35]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010) - [j34]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino:
Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation 67(9): 757-758 (2010) - [c76]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST 2010: 128-141 - [c75]Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh:
An Algebraic Approach to Dynamic Epistemic Logic. Description Logics 2010 - [c74]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS 2010: 82-95 - [e8]S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents]
2000 – 2009
- 2009
- [b3]Prakash Panangaden:
Labelled Markov Processes. Imperial College Press 2009, ISBN 978-1-84816-287-7, pp. I-XII, 1-199 - [c73]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! CALCO 2009: 145-156 - [c72]