386 citations
- Slovak Academy of SciencesSK18 papers
- Uppsala UniversitySE9 papers
- Czech Academy of Sciences, Astronomical InstituteCZ7 papers
- Charles UniversityCZ6 papers
- Institute of Physics of the Slovak Academy of SciencesSK6 papers
- Stony Brook UniversityUS6 papers
- Max Planck Institute for Solid State ResearchDE5 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU5 papers
- Czech Academy of SciencesCZ4 papers
- Imperial College LondonGB4 papers
- University of EdinburghGB4 papers
- University of HelsinkiFI4 papers
7 papers · 1 filter
Asteroid rotation excitation by subcatastrophic impacts
T. Henych, P. Pravec
Photometric observations of asteroids show that some of them are in non-principal axis rotation state (free precession), called tumbling. Collisions between asteroids have been pro…
On a fat small object argument
Michael Makkai, Jiří Rosický, Lukáš Vokřínek
Good colimits introduced by J. Lurie generalize transfinite composites and provide an important tool for understanding cofibrant generation in locally presentable categories. We wi…
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Krishnendu Chatterjee, Andreas Gaiser, Jan Křetínský
The model-checking problem for probabilistic systems crucially relies on the translation of LTL to deterministic Rabin automata (DRW). Our recent Safraless translation for the LTL(…
On Refinements of Boolean and Parametric Modal Transition Systems
Jan Křetínský, Salomon Sickert
We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce…
Two-dimensional regularity and exactness
John Bourke, Richard Garner
We define notions of regularity and (Barr-)exactness for 2-categories. In fact, we define three notions of regularity and exactness, each based on one of the three canonical ways o…
Minimum-violation LTL Planning with Conflicting Specifications
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman +2
We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as "Vehicle x must eventually visi…