Jakub Michaliszyn

51 papers A* 10A 5B 10Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Alternating-Time Temporal Logic with Default Actions.
JELIA (2)
Jakub Michaliszyn
2025 B conf
Minimization of Deterministic Finite Automata Modulo the Edit Distance.
MFCS
Jakub Michaliszyn, Jan Otop
2024 J jnl
Deterministic Weighted Automata under Partial Observability.
CoRR
Jakub Michaliszyn, Jan Otop
2023 B conf
Deterministic Weighted Automata Under Partial Observability.
JELIA
Jakub Michaliszyn, Jan Otop
2023 B conf
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.
CONCUR
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2022 B conf
Learning Deterministic Visibly Pushdown Automata Under Accessible Stack.
MFCS
Jakub Michaliszyn, Jan Otop
2022 J jnl
Learning infinite-word automata with loop-index queries.
Artif. Intell.
Jakub Michaliszyn, Jan Otop
2021 B conf
"Most of" leads to undecidability: Failure of adding frequencies to LTL.
FoSSaCS
Bartosz Bednarczyk, Jakub Michaliszyn
2021 A* conf
Minimization of Limit-Average Automata.
IJCAI
Jakub Michaliszyn, Jan Otop
2021 J jnl
Modular Path Queries with Arithmetic.
Log. Methods Comput. Sci.
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2020 J jnl
"Most of" leads to undecidability: Failure of adding frequencies to LTL.
CoRR
Bartosz Bednarczyk, Jakub Michaliszyn
2020 A conf
Learning Deterministic Automata on Infinite Words.
ECAI
Jakub Michaliszyn, Jan Otop
2020 J jnl
Modular Path Queries with Arithmetic.
CoRR
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2020 J jnl
Non-deterministic weighted automata evaluated over Markov chains.
J. Comput. Syst. Sci.
Jakub Michaliszyn, Jan Otop
2019 B conf
Approximate Learning of Limit-Average Automata.
CONCUR
Jakub Michaliszyn, Jan Otop
2019 J jnl
Approximate Learning of Limit-Average Automata.
CoRR
Jakub Michaliszyn, Jan Otop
2019 A* conf
Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.
IJCAI
Jakub Michaliszyn, Piotr Witkowski
2019 J jnl
Non-deterministic weighted automata evaluated over Markov chains.
CoRR
Jakub Michaliszyn, Jan Otop
2018 J jnl
Elementary Multimodal Logics.
CoRR
Jakub Michaliszyn
2018 B conf
Non-deterministic Weighted Automata on Random Words.
CONCUR
Jakub Michaliszyn, Jan Otop
2018 J jnl
Satisfiability versus Finite Satisfiability in Elementary Modal Logics.
Fundam. Informaticae
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
2017 J jnl
Average Stack Cost of Buechi Pushdown Automata.
CoRR
Jakub Michaliszyn, Jan Otop
2017 — conf
Average Stack Cost of Büchi Pushdown Automata.
FSTTCS
Jakub Michaliszyn, Jan Otop
2017 — conf
Querying Best Paths in Graph Databases.
FSTTCS
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2017 J jnl
Querying Best Paths in Graph Databases.
CoRR
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2016 A conf
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems.
ECAI
Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn
2016 A* conf
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions.
KR
Alessio Lomuscio, Jakub Michaliszyn
2016 A* conf
Querying Data Graphs with Arithmetical Regular Expressions.
IJCAI
Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
2016 A conf
Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications.
AAMAS
Alessio Lomuscio, Jakub Michaliszyn
2015 J jnl
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions.
CoRR
Alessio Lomuscio, Jakub Michaliszyn
2015 J jnl
On the Decidability of Elementary Modal Logics.
ACM Trans. Comput. Log.
Jakub Michaliszyn, Jan Otop, Emanuel Kieronski
2015 A conf
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions.
AAMAS
Alessio Lomuscio, Jakub Michaliszyn
2014 A* conf
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications.
KR
Alessio Lomuscio, Jakub Michaliszyn
2014 A conf
Decidability of model checking multi-agent systems against a class of EHS specifications.
ECAI
Alessio R. Lomuscio, Jakub Michaliszyn
2014 A* conf
Model Checking Unbounded Artifact-Centric Systems.
KR
Alessio Lomuscio, Jakub Michaliszyn
2014 J jnl
The Undecidability of the Logic of Subintervals.
Fundam. Informaticae
Jerzy Marcinkowski, Jakub Michaliszyn
2014 J jnl
Two-Variable First-Order Logic with Equivalence Closure.
SIAM J. Comput.
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
2013 A* conf
An Epistemic Halpern-Shoham Logic.
IJCAI
Alessio Lomuscio, Jakub Michaliszyn
2013 B conf
Elementary Modal Logics over Transitive Structures.
CSL
Jakub Michaliszyn, Jan Otop
2012 A* conf
Decidable Elementary Modal Logics.
LICS
Jakub Michaliszyn, Jan Otop
2012 B conf
Finite Satisfiability of Modal Logic over Horn~Definable Classes of Frames.
Advances in Modal Logic
Jakub Michaliszyn, Emanuel Kieronski
2012 J jnl
On Injective Embeddings of Tree Patterns
CoRR
Jakub Michaliszyn, Anca Muscholl, Slawek Staworko, Piotr Wieczorek, Zhilin Wu
2012 — conf
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
GandALF
Jakub Michaliszyn, Jan Otop, Piotr Witkowski
2012 A* conf
Two-Variable First-Order Logic with Equivalence Closure.
LICS
Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
2012 B conf
Two-Variable Universal Logic with Transitive Closure.
CSL
Emanuel Kieronski, Jakub Michaliszyn
2011 — conf
Modal Logics Definable by Universal Three-Variable Formulas.
FSTTCS
Emanuel Kieronski, Jakub Michaliszyn, Jan Otop
2011 A* conf
The Ultimate Undecidability Result for the Halpern-Shoham Logic.
LICS
Jerzy Marcinkowski, Jakub Michaliszyn
2010 — conf
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.
ICALP (2)
Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski
2010 J jnl
The Last Paper on the Halpern-Shoham Interval Temporal Logic
CoRR
Jerzy Marcinkowski, Jakub Michaliszyn
2009 — conf
Decidability of the Guarded Fragment with the Transitive Closure.
ICALP (2)
Jakub Michaliszyn
2009 J jnl
The cost of being co-Buchi is nonlinear
CoRR
Jerzy Marcinkowski, Jakub Michaliszyn